(****************************************************************************** * D A T A E N C R Y P T I O N S T A N D A R D *----------------------------------------------------------------------------- * INRIA - Unite de Recherche Rhone-Alpes * 655, avenue de l'Europe * 38330 Montbonnot Saint Martin * FRANCE *----------------------------------------------------------------------------- * Module : DES.lib * Auteur : Wendelin SERWE * Version : 1.4 * Date : 2015/08/19 09:42:10 *****************************************************************************) (* ------------------------------------------------------------------------- *) process DES [CRYPT, KEY, DATA, OUTPUT] : noexit := hide SUBKEY, CTRL_CL, CTRL_CR, CTRL_CK, CTRL_SHIFT, CTRL_DK in ( DATA_PATH [DATA, OUTPUT, SUBKEY, CTRL_CL, CTRL_CR] |[SUBKEY]| KEY_PATH [KEY, SUBKEY, CTRL_CK, CTRL_SHIFT, CTRL_DK] ) |[CTRL_CL, CTRL_CR, CTRL_CK, CTRL_SHIFT, CTRL_DK]| CONTROLLER [CRYPT, CTRL_CL, CTRL_CR, CTRL_CK, CTRL_SHIFT, CTRL_DK] endproc (* ------------------------------------------------------------------------- *)