论文部分内容阅读
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析。
基于FSP的安全性与活动性检测技术
【摘 要】
：
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析。
【机 构】
：
厦门大学软件学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年05期
【基金项目】
：
本文受福建省自然科学基金项目（编号：A0310007）资助.
其他文献
《汉字信息教学与输入字典》是一部熟练运用心理学成果，很有创意的字典。论文从收字、检索字、释义和附录等方面论述它的优点和不足。
目前存在的组密钥管理方案都没有考虑组播组的接收者访问控制,实际上,接收者访问控制能优化组密钥更新的策略,从而提高组密钥管理方案的性能。本文给出了具有接收者访问控制情况下的组密钥更新策略,在此基础上基于Gothic中提出的接收者访问控制技术以及LKH密钥管理方案,提出了一种新的结合接收者访问控制的组密钥管理方案。