Policy Based Security Analysis in Enterprise Networks: A Formal Approach.
Padmalochan BeraSoumya Kanti GhoshPallab DasguptaPublished in: IEEE Trans. Netw. Serv. Manag. (2010)
Keyphrases
- security analysis
- access control policies
- public key
- smart card
- high security
- conflict resolution
- security requirements
- security properties
- security model
- encryption scheme
- image encryption
- formal model
- access control
- user authentication
- security policies
- data mining
- mutual authentication
- authentication scheme
- encryption algorithm
- distributed environment
- software development
- information systems