文献检索-宁波市创意产业特色资源库

限定检索结果

BAN逻辑在形式化协议分析中的应用: 收藏
分享
引用; 《黑龙江科技信息》2009年第28期 98-99页; 作者：金葆华贵州大学计算机科学与信息学院贵州贵阳550025; BAN类逻辑是一款非常优秀的形式化分析工具。它能够帮助设计和分析各种安全协议。介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷。同时用BAN逻辑形式化分析了Yahalom协议。; BAN类逻辑是一款非常优秀的形式化分析工具。它能够帮助设计和分析各种安全协议。介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷。同时用BAN逻辑形式化分析了Yahalom协议。; 来源：详细信息评论

基于混合架构的航空机务维护工作单管理系统的设计: 收藏
分享
引用; 《航空维修与工程》2010年第6期 79-81页; 作者：金肇鹏邹葆华阎成鸿中国民航飞行学院; 在对比研究C/S和B/S工作模式的基础上,介绍了C/S和B/S混合架构在系统开发应用中的优势,并针对学院机务工作的实际情况,采用DELPHI7.0、ASP和SQL Server等技术设计了基于混合架构的机务维护工作单管理系统,以提高机务保障质量。; 在对比研究C/S和B/S工作模式的基础上,介绍了C/S和B/S混合架构在系统开发应用中的优势,并针对学院机务工作的实际情况,采用DELPHI7.0、ASP和SQL Server等技术设计了基于混合架构的机务维护工作单管理系统,以提高机务保障质量。; 来源：详细信息评论

限定检索结果