Have a personal or library account? Click to login
Formal analysis of security protocols for wireless sensor networks Cover

Formal analysis of security protocols for wireless sensor networks

Tatra Mountains Mathematical Publications
Volume 47 (2010): Issue 1 (December 2010)
By: Marián Novotný  
Open Access
|Nov 2012

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/v10127-010-0032-7 | Journal eISSN: 1338-9750 | Journal ISSN: 12103195
Journal RSS Feed
Language: English
Page range: 81 - 97
Published on: Nov 13, 2012
Published by: Slovak Academy of Sciences, Mathematical Institute
In partnership with: Paradigm Publishing Services
Publication frequency: 3 issues per year
Keywords:
security protocols,
Wireless Sensor Networks,
formal analysis,
Dolev-Yao model of the attacker,
data integrity,
the applied pi-calculus.
Related subjects:
Mathematics,
General mathematics

© 2012 Marián Novotný, published by Slovak Academy of Sciences, Mathematical Institute
This work is licensed under the Creative Commons License.

Previous articleVolume 47 (2010): Issue 1 (December 2010)Next article