Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code.

Alfredo Pironti Riccardo Sisto

Published in: HASE (2008)

Keyphrases

java code
source code
development tools
protocol specification
software systems
byte code
artificial intelligence
case study
open source
security model