A logic-based approach to software system safety and security.
George C. NeculaShree Prakash RahulPublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- information security
- software systems
- intellectual property protection
- security vulnerabilities
- safety critical
- user interface
- enterprise systems
- software architecture
- logic programming
- computer systems
- intrusion detection
- software development
- network security
- software tools
- high assurance
- security issues
- security requirements
- computer security
- software design
- access control
- iso iec
- safety analysis
- multi valued
- modal logic
- windows xp
- web services
- description logics
- user friendliness
- key management
- security mechanisms
- software maintenance
- computer networks