Login / Signup
Formally sound implementations of security protocols with JavaSPI.
Riccardo Sisto
Piergiuseppe Bettassa Copet
Matteo Avalle
Alfredo Pironti
Published in:
Formal Aspects Comput. (2018)
Keyphrases
</>
security protocols
automated design
artificial immune algorithm
cryptographic algorithms
security services
security mechanisms
secure communication
security properties
authentication protocol
cryptographic protocols
key management
real time
query processing
data processing
security issues