The goal of this chapter is to give the flavor of what has been done within the area of formal verification of secure wireless systems. Indeed, we assist to a successful proliferation of research ideas within this area. Here, we aim at illustrating popular methodologies and models, that have been applied to specific case studies, e.g., Bluetooth and IEEE 802.11 security for modeling and performing security analysis.
Formal techniques for security analysis in wireless systems
Martinelli F;Petrocchi M
2008
Abstract
The goal of this chapter is to give the flavor of what has been done within the area of formal verification of secure wireless systems. Indeed, we assist to a successful proliferation of research ideas within this area. Here, we aim at illustrating popular methodologies and models, that have been applied to specific case studies, e.g., Bluetooth and IEEE 802.11 security for modeling and performing security analysis.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
