Static verification of security requirements in role based CSCW systems.
Tanvir AhmedAnand R. TripathiPublished in: SACMAT (2003)
Keyphrases
- security requirements
- access control
- cscw systems
- security analysis
- smart card
- security policies
- security model
- information security
- security mechanisms
- security concerns
- high security
- software architecture
- access control policies
- sensor fusion
- security properties
- model checking
- secure electronic
- security patterns
- mobile commerce
- databases
- role based access control
- cooperative
- face to face communication
- artificial intelligence
- security issues
- monitoring system
- development lifecycle