Keyphrases
- formal analysis
- security requirements
- smart card
- security analysis
- information security
- security policies
- access control
- security concerns
- software architecture
- security properties
- security mechanisms
- security model
- security patterns
- formal methods
- mobile commerce
- agent model
- secure electronic
- ban logic
- databases
- low cost
- database systems
- covert channel
- security protocols
- distributed systems
- case study
- artificial intelligence
- machine learning