状态转换系统相关论文
目前验证前向可修正属性的＂展开方法＂是不完备的,即当＂展开定理＂的局部条件不满足时,不能判断出系统不满足前向可修正属性。为此,提出......
Zhou和Gollmann设计的公平非否认协议（Z＆G协议）旨在为电子商务交易的双方提供非否认证据和公平性。提出一种基于状态转换的方法对其公......
利用状态转换系统对Z语义模型进行分析,指出其三种不足;然后利用状态转换系统、有限状态转换系统和时序状态转换系统,对Z语义模型......
