Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
Tatra Mountains Mathematical Publications
Volume 47 (2010): Numero 1 (December 2010)
Accesso libero
Formal analysis of security protocols for wireless sensor networks
Marián Novotný
Marián Novotný
| 13 nov 2012
Tatra Mountains Mathematical Publications
Volume 47 (2010): Numero 1 (December 2010)
CCEC ‘09
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
13 nov 2012
Pagine:
81 - 97
DOI:
https://doi.org/10.2478/v10127-010-0032-7
Parole chiave
security protocols
,
Wireless Sensor Networks
,
formal analysis
,
Dolev-Yao model of the attacker
,
data integrity
,
the applied pi-calculus.
This content is open access.