Stochastic model and analysis of the Key Distribution Centre model, exploiting PEPA specification language.
cryptography
encryption
matlab
formal-methods
decryption
stochastic-processes
key-generation
system-design
modell
pepa-language
lumpability
-
Updated
Dec 14, 2023