首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:从到   被引次数:从到   他引次数:从到 提示：输入*表示无穷大
全文获取类型
  免费   0篇
  国内免费   1篇
专业分类
自动化技术   1篇
出版年
  2007年   1篇
排序方式： 共有1条查询结果，搜索用时 15 毫秒
1
1.
安全协议的人工实现是一个低效且易错的过程.安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C 的协议实现代码.Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号