Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol

机译：用于修订的能力交换信令协议的参数验证的符号语言表示形式

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Parametric protocol verification is a challenging r-e- search topic. Obtaining symbolic representations of service and protocol languages of a protocol enables parametric verification of the protocol against its service specification. In this paper, we ex

机译：参数协议验证是一个具有挑战性的研究主题。获取协议的服务和协议语言的符号表示，可以根据协议的服务规范对协议进行参数验证。在本文中，我们

著录项

来源
《Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2007 Eighth International Conference on》|2007年|P.480-487|共8页
会议地点 Adelaide SAAustralia
作者
Lin Liu; Billington; J.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Web services; formal verification; signalling protocols; parametric protocol verification; protocol languages; revised capability exchange signalling protocol; service specification; symbolic language representations;

机译：网页服务;正式验证；信令协议；参数协议验证；协议语言；修订的能力交换信令协议；服务规范；符号语言表示;

相似文献

外文文献
中文文献
专利

1. Verification of the Capability Exchange Signalling protocol [J] . Lin Liu, Jonathan Billington International Journal on Software Tools for Technology Transfer . 2007,第3a4期

机译：验证能力交换信令协议
2. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols [J] . Jose Meseguer, Prasanna Thati Higher-order and symbolic computation . 2007,第1a2期

机译：使用缩窄的符号可达性分析及其在密码协议验证中的应用
3. Symbolic Verification of communication Protocols with Infinite State Spaces using QDDs [J] . Bernard Boigelot, Patrice Godefroid Formal Methods in System Design . 1999,第3期

机译：使用QDD对具有无限状态空间的通信协议进行符号验证
4. Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol [C] . Lin Liu, Jonathan Billington International Conference on Parallel and Distributed Computing, Applications and Technologies . 2007

机译：修订能力交换信令协议的参数验证的符号语言表示
5. Symbolic Language Improvements Needed to Facilitate Neural Human/Computer Communication Protocols [D] . McGlothlin, Diane E. 2018

机译：需要改进符号语言以促进神经人机/计算机通信协议
6. The developmental onset of symbolic approximation: beyond nonsymbolic representations the language of numbers matters [O] . Iro Xenidou-Dervou, Camilla Gilmore, Menno van der Schoot, -1

机译：符号逼近的发展开始：除了非符号表示外数字语言也很重要
7. Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation∗ [O] . Hoang M. Le, Daniel Große, Vladimir Herdt, 2015

机译：使用中间验证语言和符号模拟验证systemC *

Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol

摘要

著录项

相似文献

相关主题

期刊订阅