Provably correct Java implementations of Spi Calculus security protocols specifications

被引：0
|
作者：
Politecnico di Torino, Dip. di Automatica e Informatica, c.so Duca degli Abruzzi 24, I-10129 Torino, Italy [1 ]
机构：
来源：
Comput Secur | / 3卷 / 302-314期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Software design
引用
收藏
相关论文
共 50 条
  • [1] Provably correct Java']Java implementations of Spi Calculus security protocols specifications
    Pironti, Alfredo
    Sisto, Riccardo
    [J]. COMPUTERS & SECURITY, 2010, 29 (03) : 302 - 314
  • [2] 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
  • [3] Provably Correct Implementations of Services
    Bruni, Roberto
    De Nicola, Rocco
    Loreti, Michele
    Mezzina, Leonardo Gaetano
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2009, 5474 : 69 - +
  • [4] Formally sound implementations of security protocols with Java']JavaSPI
    Sisto, Riccardo
    Copet, Piergiuseppe Bettassa
    Avalle, Matteo
    Pironti, Alfredo
    [J]. FORMAL ASPECTS OF COMPUTING, 2018, 30 (02) : 279 - 317
  • [5] A calculus for cryptographic protocols: The spi calculus
    Abadi, M
    Gordon, AD
    [J]. INFORMATION AND COMPUTATION, 1999, 148 (01) : 1 - 70
  • [6] Provably correct implementation of the AbC calculus
    Nicola, Rocco De
    Duong, Tan
    Loreti, Michele
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 202
  • [7] Provably correct implementation of the AbC calculus
    De Nicola, Rocco
    Duong, Tan
    Loreti, Michele
    [J]. Science of Computer Programming, 2021, 202
  • [8] Testing Java']Java implementations of algebraic specifications
    Nunes, Isabel
    Luis, Filipe
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 35 - 50
  • [9] A Provably Correct Stackless Intermediate Representation for Java']Java Bytecode
    Demange, Delphine
    Jensen, Thomas
    Pichardie, David
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 97 - +
  • [10] Security protocols and specifications
    Abadi, M
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 1 - 13
12345