RE: attack on rfc3211 mode (Re: disk encryption modes)