验证协议 MSCHAP ; Authentication Protocol ; Password Authentication Protocol ; Cisco LEAP
握手验证协议 CHAP
安全协议验证 protocol verification
质询握手身份验证协议 CHAP ; challenge handshake authentication protocol
质询握手验证协议 challenge handshake authentication protocol ; MS-CHAP ; C
密码验证协议 PAP ; Password Authentication Protocol
挑战握手验证协议 CHAP ; Challenge-Handshake Authentication Protocol
握手身份验证协议 Challenge-Handshake Authentication Protocol ; CHAP
身份验证协议 SPAP ; PEAP
Key logical processing refers to message parsing, packing, the third party's protocol validation, transaction checking with TIPS and other system interactions with TIPS.
这里的关键逻辑性处理主要涉及与联网业务有关的报文解析、报文组装、三方协议验证、与TIPS之间的对账、与TIPS之间的其他系统交互等功能。
参考来源 - 国库信息处理系统与商业银行横向联网系统的设计与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
协议分析和协议综合是实现协议验证的两种有效途径，前者更为有效和实用。
The analysis and synthesis of protocols are two efficient approaches to verify protocols; the former is more efficient than the latter.
CollaborationUse元素，同端口和角色绑定一起，表现为一个协议验证段。
The CollaborationUse element, together with port and role bindings, represents a contract verification piece.
应用推荐