证协议相关论文
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描......
该文提出了一种新的混合型形式描述方法、以保证协议形式描述具备适用性,易证性和易懂性。该方法采用了有限状态机、语义学及抽象数......
澳大利亚采矿技术与设备合作研究中心(CMTE)获得了一项索斗铲新技术并将使其商品化.据报道,该技术可使索斗铲的生产率提高25%.CMTE......
2002年9月17日,中国兵器工业集团公司与德国道依茨公司在德国科隆正式签订了BFM1015系列水冷柴油机许可证协议(协议中还包括了安装......
文章对原3GPP认证协议进行了安全分析,提出其存在的安全漏洞,并根据公钥密码体制思想,在保持原有3GPP认证过程的基础上提出一种新......
1997年下半年以来盖茨的麻烦不断,先是SUN公司控告没有遵守其JAVA许可证协议,接着美国地区法官Jackson签发预先禁止令,要求微软停......
重庆自2013年12月30日起正式实施72小时过境免签政策。欧洲、美洲、亚洲、大洋洲的51个国家获免签待遇。这51个国家包括24个欧洲申......
不久前,中国中医研究院眼科医院与一位双目失明的白内障患者签订了北京市首例医疗手术公证协议后,为患者左眼实施了超生乳化联合人......