基于组合设计方法的安全支付协议的设计与验证

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。

探讨E-NNI连接建立的信令控制协议

E-NNI连接建立的信令控制协议是自动交换光网络中域间网络互联互通的关键协议之一。基于OPNET进程状态实现E-NNI连接建立的信令控制协议状态,符合标准化的E-NNI连接建立的信令控制协议。这种状态功能方法可以在VxWorks平台下实现实际需要的标准协议。文中将采用这种方法实现Ssreq状态协议原语。