无忧基地网友对一种改进的安全协议形式化需求语言的评论

摘要：摘要：对原有的安全协议形式化需求语言进行了改进，使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。关键词：安全协议形式化需求语言网格协同计算 安全协议是用来实施安全功能的一种重要的安全技术，是许多分布式系统安全的基础。设计一种正确的、符合安全目标、没有冗余的安全协议，是一件非常困难的事情。为此．人们越来越多地关注形式化方法，期望建立一套完整成熟的理论和技术，并将该理论和技术用于实践中，设计、验证和改进安全协议。 安全协议设计和分析的困难性是由多方面因素造成的。其中最先遇到的问题就是安全问题本身的微妙性。即对于一个表面上很简单的问题，却有着许多... 察看一种改进的安全协议形式化需求语言全文