Search
Now showing items 1-1 of 1
Facilitating the modelling and automated analysis of cryptographic protocols
(2001)
Multi-dimensional security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and deployment techniques, thereby providing a higher level of confidence ...