将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性.采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架.最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性.
为解决基于IEEE 802.11协议的CBTC( Communication Based Train Control,基于通信的列车运行控制)无线数据通信子系统中存在的不安全因素,应引入安全通信协议,采用加密技术进行防护。鉴于降低成本及易实现性等方面的考虑,设计中选用Rijndael加密算法,并用VC++对该算法进行软件编程。最后,借助Socket通信机制模拟数据加解密通信过程,验证了设计的正确性。测试结果表明,该软件算法设计正确,安全性好,易实现,可运用到CBTC安全通信协议中,确保列控信息的安全传输。
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性.采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架.最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性.