Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties.
Miroslav SvédaOndrej RysavýPetr MatousekJaroslav RábRudolf CejkaPublished in: DCNET/OPTICS (2010)
Keyphrases
- security analysis
- security properties
- ip networks
- automatic analysis
- ip traffic
- network management
- internet protocol
- communication networks
- mobile networks
- tcp ip
- security requirements
- network design
- network resources
- smart card
- formal model
- public key
- quality of service
- computer networks
- authentication protocol
- encryption scheme
- end to end
- network structure
- security policies
- mutual authentication
- network security
- formal methods
- real time
- wireless networks
- artificial intelligence
- security protocols
- data mining
- wireless sensor networks
- low cost
- access control policies
- access control