...
机译:使用NPATRL和NRL协议分析器对解释协议的组域进行正式规范和分析
Center for High Assurance Computer Systems, Naval Research Laboratory, Washington, DC 20375-5320, USA;
机译:从Satan的菜单订购:对加密协议进行形式分析的需求规范调查
机译:基于解释函数的SET和NSL协议的形式分析
机译:使用基于解释函数的方法对SET和NSL协议进行形式化分析
机译:使用NRL协议分析仪分析Internet密钥交换协议
机译:正式规范和安全协议分析。
机译:在正式实施计划之前在艾伯塔省的乳房重建手术中采用手术方案后恢复恢复的采用率很高
机译:使用NPATRL和NRL协议分析器对解释协议的组域进行正式规范和分析
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析