机译:定时安全协议的正式规范和验证框架
机译:从Satan的菜单订购:对加密协议进行形式分析的需求规范调查
机译:解码器协议的形式规范
机译:组件协议的灵活行为兼容性和替代性:正式规格
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:oy药甘草汤处方相容性研究综述及基于主要有效成分体内药物相互作用的中药处方药代动力学相容机制的思考
机译:使用I / O约束自动机将通信协议中的兼容性和可替代性正式化
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析