Formally Synthesising a Protocol Converter: A Case Study

被引：0
|
作者：
Cao, Jing [1 ]
Nymeyer, Albert [1 ]
机构：
[1] Univ New S Wales, Sydney, NSW 2052, Australia
来源：
IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS | 2009年 / 5642卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A formal method of synthesising a converter that translates signals between two heterogeneous, off-the-shelf protocol IPs is presented in the form of a case study. At the heart of the method is a model checker that guarantees the converter satisfies correctness conditions, as well as user-defined properties. In this approach, the issue of nondeterminism is explicitly addressed, and is used to synthesise an optimal converter.
引用
收藏
页码：249 / 252
页数：4
相关论文
共 50 条
  • [1] Protocol converter validation through deductive inference: a case study
    Das, S
    Dhar, P
    [J]. COMPUTER COMMUNICATIONS, 1998, 21 (07) : 686 - 692
  • [2] Formally testing the protocol performances
    Che, Xiaoping
    Maag, Stephane
    [J]. INTERNATIONAL JOURNAL OF SPACE-BASED AND SITUATED COMPUTING, 2015, 5 (02) : 76 - 88
  • [3] Synthesising case-study research - ready for the next step?
    Barth, Matthias
    Thomas, Ian
    [J]. ENVIRONMENTAL EDUCATION RESEARCH, 2012, 18 (06) : 751 - 764
  • [4] Synthesising evidence on patient portals: a protocol for an umbrella review
    Petrovskaya, Olga
    Lau, Francis
    Antonio, Marcy
    [J]. BMJ OPEN, 2019, 9 (03):
  • [5] Formally analysing a security protocol for replay attacks
    Long, Benjamin W.
    Fidge, Colin J.
    [J]. 2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 171 - +
  • [6] Synthesising dry weather flow input hydrographs: A Maltese case study
    Butler, D
    Gatt, K
    [J]. WATER SCIENCE AND TECHNOLOGY, 1996, 34 (3-4) : 55 - 62
  • [7] A Case Study on Formally Validating Motion Rules for Autonomous Cars
    Torres, Mario Henrique Cruz
    Giacalone, Jean-Pierre
    Abou Faysal, Joelle
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 233 - 248
  • [8] Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol
    Betarte, Gustavo
    Cristia, Maximiliano
    Luna, Carlos
    Silveira, Adrian
    Zanarini, Dante
    [J]. APPLIED CRYPTOGRAPHY AND NETWORK SECURITY WORKSHOPS, ACNS 2020, 2020, 12418 : 3 - 23
  • [9] Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
    Praveen, M.
    Ramesh, Raghavendra
    Doidge, Isaac
    [J]. OpenAccess Series in Informatics, 118
  • [10] Formally Verifying a Rollback-Prevention Protocol for TEEs
    Wang, Weili
    Niu, Jianyu
    Reiter, Michael K.
    Zhang, Yinqian
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 155 - 173
12345