Protocol analysis tools; Stateful protocols; TPM; PKCS #11;
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:加密协议的形式分析及支持工具
机译:互联网中移动性支持协议的标准化趋势
机译:正式支持与国家标准化协议
机译:心脏骤停后治疗方案的标准化:治疗性体温过低的评估以及建立标准化心脏骤停后治疗方案的可能性。
机译:标准化心血管磁共振成像(CMR)协议心血管磁共振协会:标准化协议理事会成员
机译:标准化国家协议的正式支持
机译:基于Estelle IsO形式描述技术的通信协议形式化设计