A Formal Model for Network-Wide Security Analysis.
Petr MatousekJaroslav RábOndrej RysavýMiroslav SvédaPublished in: ECBS (2008)
Keyphrases
- formal model
- security analysis
- security properties
- public key
- smart card
- security requirements
- high security
- security model
- wireless sensor networks
- computer networks
- network traffic
- encryption scheme
- authentication protocol
- peer to peer
- software engineering
- image encryption
- security patterns
- access control
- databases