Modeling Session Initiation Protocol with Extended Finite State Machines

机译：使用扩展有限状态机对会话启动协议进行建模

获取原文

页面导航

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

摘要

Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to deri

机译：正式规范对于计算机辅助的通讯协议验证和测试是必不可少的。但是，许多实用协议只有非正式规范，大部分是英文的。没有一般的deri程序

著录项

来源
《Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2007 Eighth International Conference on》|2007年|P.488-492|共5页
会议地点 Adelaide SAAustralia
作者
Sun Wenhui; Liu Feng; Dai Gang; Li Honghui;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Internet telephony; finite state machines; formal specification; formal verification; protocols; communication protocols; computer-aided testing; computer-aided verification; finite state machines; informal specifications; session initiation protocol;

机译：互联网电话；有限状态机正式规范；正式验证；协议；通信协议；计算机辅助测试；计算机辅助验证；有限状态机非正式规格；会话发起协议;

相似文献

外文文献
中文文献
专利

1. Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines [J] . T. Ramalingom, K. Thulasiraman, A. Das Computer Communications . 2003,第14期

机译：上下文无关的唯一状态标识序列，用于测试建模为扩展有限状态机的通信协议
2. Simulation of Protocol for Initiation of Communication Sessions using dynPLA Model [J] . H. Pranevicius, A. Paulauskaite-Taraseviciene, A. Jarutis Electronics and Electrical Engineering . 2010,第5a101期

机译：使用dynPLA模型对通信会话发起协议的仿真
3. An Extended Java Call Control for the Session Initiation Protocol [J] . Femminella Mauro, Giacinti Francesco, Reali Gianluca MultiMedia, IEEE . 2012,第4期

机译：会话启动协议的扩展Java调用控件
4. Modeling Session Initiation Protocol with Extended Finite State Machines [C] . Sun Wenhui, Liu Feng, Dai Gang, International Conference on Parallel and Distributed Computing, Applications and Technologies . 2007

机译：使用扩展有限状态机建模会话启动协议
5. Extended Use of SOA and Cloud Computing Security Gateway Protocol for Big Data Analytic Sessions. [D] . Mohammad, Atif Farid. 2015

机译：SOA和云计算安全网关协议在大数据分析会话中的扩展使用。
6. A robust ECC based mutual authentication protocol with anonymity for session initiation protocol [O] . Zahid Mehmood, Gongliang Chen, Jianhua Li, -1

机译：基于鲁棒ECC的相互认证协议会话发起协议具有匿名性
7. Extended Key Usage (EKU) for Session Initiation Protocol (SIP) X.509 Certificates [O] . 2010

机译：会话启动协议（sIp）X.509证书的扩展密钥用法（EKU）

Modeling Session Initiation Protocol with Extended Finite State Machines

摘要

著录项

相似文献

相关主题

期刊订阅