Spi2Java']Java: Automatic cryptographic protocol Java']Java code generation from spi calculus

被引：22

作者：

Pozza, D ^{[1
]}

Sisto, R ^{[1
]}

Durante, L ^{[1
]}

机构：

[1] Politecn Torino, Dip Automat & Informat, I-10129 Turin, Italy

来源：

18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1 (LONG PAPERS), PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/AINA.2004.1283943

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language spi calculus. Spi2Java is part of a set of tools for spi calculus, also including a pre-processor a parser and a security analyzer The latter can formally analyze protocols and detect protocol flaws. When a protocol has been analyzed and an adequate confidence about its correctness has been reached, Spi2Java can generate a corresponding correct Java implementation of the protocol, thus dramatically reducing the risk of introducing security flaws in the coding phase.

引用

页码：400 / 405

页数：6

共 50 条

[1] Formally Sound Refinement of Spi Calculus Protocol Specifications into Java']Java Code
Pironti, Alfredo
Sisto, Riccardo
[J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 241 - 250
[2] Provably correct Java']Java implementations of Spi Calculus security protocols specifications
Pironti, Alfredo
Sisto, Riccardo
[J]. COMPUTERS & SECURITY, 2010, 29 (03) : 302 - 314
[3] Refactoring Java']Java Code for Automatic API Generation
Liu, Genggeng
Hu, Chuanshumin
Chen, Shihong
Zhang, Ying
Chen, Xing
[J]. 2018 INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, BIG DATA AND BLOCKCHAIN (ICCBB 2018), 2018, : 114 - 119
[4] From Lyee-calculus to Java']Java code
Ktari, B
Mejri, M
Fujita, H
[J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 283 - 300
[5] Automatic assessment of Java']Java code
Insa, David
Silva, Josep
[J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018, 53 : 59 - 72
[6] Automatic generation of bridging code for accessing C++ from Java']Java
Schade, A
[J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS (TOOLS 25) - PROCEEDINGS, 1998, : 165 - 180
[7] Generation of Java']Java Code from Alvis Model
Matyasik, Piotr
Szpyrka, Marcin
Wypych, Michal
[J]. INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
[8] Rule based production systems for automatic code generation in Java']Java
Bajwa, Imran Sarwar
Siddique, M. Imran
Choudhary, M. Abbas
[J]. 2006 1ST INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT, 2006, : 300 - +
[9] PV2JAVA']JAVA: Automatic Generator of Security Protocol Implementations Written in Java']Java Language from the Applied PI Calculus Proved in the Symbolic Model
Meng, Bo
Yang, Yitong
Zhang, Jinli
Lu, Jintian
Wang, Dejun
[J]. INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (11): : 211 - 228
[10] An Automatic Transformer from Sequential to Parallel Java']Java Code
Midolo, Alessandro
Tramontana, Emiliano
[J]. FUTURE INTERNET, 2023, 15 (09):

← 1 2 3 4 5 →