协议

Y2000-62551-81 0106749规约分析与设计(含3篇文章)=Protocol analysis anddesign[会,英]//2000 IEEE Symposium on Security andPrivacy.—81～119(PC)本部分含3篇文章。题名为:解法用的搜索:可证明的保密规约的进展与工程折衷,文电鉴别任务,以及与规约无关的安全性。0106750对《集中监控通信协议》的一些看法和讨论[刊]/柳光轩//电信科学.—2000,16(12).—45～46(C)本文针对电信总局下发的《通信局(站)电源、空调及环境集中监控管理系统前端智能设备通信协议》,提出了一些不同的看法,希望与同仁们探讨。