Provably correct Java implementations of Spi Calculus security protocols specifications.

Alfredo Pironti Riccardo Sisto

Published in: Comput. Secur. (2010)

Keyphrases

provably correct
security protocols
formal methods
situation calculus
formal specification
automated design
security properties
security services
artificial immune algorithm
security mechanisms
lightweight
source code
open source
object oriented
key management
development environment
security requirements
rfid tags