安全性质论文

基于混成自动机的事件驱动的CPS系统监控方法研究
论文摘要信息物理融合系统(CPS系统)被认为是下一代嵌入式系统,具有广阔的应用前景。CPS系统涉及信息、物理等多方面,本身复杂度高,而且CPS系统往往运行于不确定的物理环境中,...
安全协议形式化验证技术的研究与实现
论文题目:安全协议形式化验证技术的研究与实现论文类型:博士论文论文专业:计算机科学与技术作者:李梦君导师:陈火旺,李舟军关键词:安全协议,安全性质,形式化验证,反例构造,逻辑,...