库恒
- 作品数：2 被引量：1H指数：1
- 供职机构：贵州大学理学院更多>>
- 发文基金：贵州大学自然科学青年科研基金国家自然科学基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 类BAN逻辑缺陷的进一步分析
- 2012年
- 类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。
- 库恒
- 关键词：理想化方法
- 基于TLA+的AFDX冗余管理算法的改进被引量：1
- 2013年
- 为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析。在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根据这些性质和推论,提出了3个冗余管理算法,并用TLA+语言进行详细的描述。通过模型检测,表明出RMA13为最优算法。
- 库恒龙士工罗昊
- 关键词：行为时序逻辑
