Otwarty dostęp

Formal analysis of security protocols for wireless sensor networks

Marián Novotný

Novotný, Marián

13 lis 2012

Formal analysis of security protocols for wireless sensor networks's Cover Image

Tatra Mountains Mathematical Publications

Tom 47 (2010): Zeszyt 1 (Grudzień 2010)

O artykule

Poprzedni artykuł

Następny artykuł

Zacytuj

Udostępnij

Pobierz okładkę

Data publikacji: 13 lis 2012

Zakres stron: 81 - 97

DOI: https://doi.org/10.2478/v10127-010-0032-7

Słowa kluczowe
security protocols, Wireless Sensor Networks, formal analysis, Dolev-Yao model of the attacker, data integrity, the applied pi-calculus.

This content is open access.

Język:: Angielski

Częstotliwość wydawania:: 3 razy w roku
Dziedziny czasopisma:: Matematyka, Matematyka ogólna

Kanał RSS czasopisma