Classification, Formalization and Verification of Security Functional Requirements.
Shoichi MorimotoShinjiro ShigematsuYuichi GotoJingde ChengPublished in: SOFSEM (2008)
Keyphrases
- functional requirements
- software design
- development process
- software systems
- case study
- software architecture
- information systems
- real world
- lightweight
- machine learning
- human computer interaction
- distributed systems
- model checking
- relational databases
- information security
- cooperative
- network security
- statistical databases
- formal analysis
- database
- cryptographic protocols