Probabilistic and Timed Analysis of Security Protocols.

Olga Siedlecka-Lamch

Published in: CISIS (2020)

Keyphrases

security protocols
real time
databases
information systems
data analysis
key management