形式化描述和验证相关论文
本文提出了一种新的用户光网络接口(UNI)信令协议,以实现动态指配光网络资源的功能.该协议支持多种类客户寻址,考虑了光网络的特殊......
通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.......
