<> <> <> <> <> <> <> <<>> DIRECTORY DESFace USING[Key], IO USING[STREAM, StreamVariety], Rope USING[ROPE]; Encrypt: CEDAR DEFINITIONS = { StreamOpen: PROC[ variety: IO.StreamVariety -- input, output -- , cipher: IO.STREAM, key: Rope.ROPE ] RETURNS [ plain: IO.STREAM ]; StreamOpenWithKey: PROC[ variety: IO.StreamVariety -- input, output -- , cipher: IO.STREAM, key: DESFace.Key ] RETURNS [ plain: IO.STREAM ]; BadEncryption: ERROR; <> EncryptFile, DecryptFile: PROC [key, plain, cipher: Rope.ROPE]; <> <<>> EncryptFileWithKey, DecryptFileWithKey: PROC [key: DESFace.Key, plain, cipher: Rope.ROPE]; <> EncryptRope: PROC [plain, key: Rope.ROPE] RETURNS [cipher: Rope.ROPE]; DecryptRope: PROC [cipher, key: Rope.ROPE] RETURNS [plain: Rope.ROPE]; EncryptRopeWithKey: PROC [plain: Rope.ROPE, key: DESFace.Key] RETURNS [cipher: Rope.ROPE]; DecryptRopeWithKey: PROC [cipher: Rope.ROPE, key: DESFace.Key] RETURNS [plain: Rope.ROPE]; }. <> < Rope.ROPE, IOStream.Handle => IO.STREAM)>> <> <> <> <> <<>> <<>>