Formal correctness of security protocols - Bella, Giampaolo (Berlin : Springer, 2007)
Περιέχει βιβλιογραφικές αναφορές.
Keywords: Computer networks -- Security measures