<> DIRECTORY BigCardinals; RSA: CEDAR DEFINITIONS = BEGIN OPEN BigCardinals; KeyGenerate: PROC [length: CARDINAL] RETURNS [public, private: BigCARD, pc1, pc2, qc1, qc2: CARDINAL]; Encrypt: PROC [plain, public: BigCARD] RETURNS [encrypted: BigCARD]; Decrypt: PROC [encrypted, public, private: BigCARD] RETURNS [plain: BigCARD]; END.