Tools for Secure Systems Development with UML: Security Analysis with ATPs.
Jan JürjensPasha ShabalinPublished in: FASE (2005)
Keyphrases
- security analysis
- systems development
- security requirements
- requirements engineering
- software development
- smart card
- software engineering
- software requirements
- security model
- security properties
- public key
- authentication protocol
- development process
- user authentication
- formal methods
- high security
- key exchange
- encryption scheme
- mutual authentication
- software architecture
- software systems
- information systems
- private key
- project management
- authentication scheme
- security mechanisms
- security policies
- access control
- object oriented