Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain.
Ed Kamya Kiyemba EdrisMahdi AiashMohammad Ali KhoshkholghiRanesh NahaAbdullahi ChowdhuryJonathan LooPublished in: Internet Things (2023)
Keyphrases
- markov chain
- security protocols
- steady state
- transition probabilities
- monte carlo method
- finite state
- monte carlo simulation
- stationary distribution
- security properties
- computer networks
- monte carlo
- markov model
- cryptographic algorithms
- random walk
- automated design
- distributed systems
- smart card
- lightweight
- state space
- cryptographic protocols
- reinforcement learning
- machine learning
- secure communication
- real time