A Formal Methodology for Detecting Managerial Vulnerabilities and Threats in an Enterprise Information System.
Anirban SenguptaChandan MazumdarAditya BagchiPublished in: J. Netw. Syst. Manag. (2011)
Keyphrases
- information systems
- information security
- countermeasures
- security issues
- security vulnerabilities
- enterprise information systems
- formal model
- information technology
- knowledge management
- security risks
- security breaches
- databases
- security requirements
- data corruption
- enterprise wide
- development methodologies
- management information systems
- enterprise systems
- smart grid
- formal methods
- ontological engineering
- computer systems