Assessing Security Properties of Software Components: A Software Engineer's Perspective.
Khaled M. KhanJun HanPublished in: ASWEC (2006)
Keyphrases
- software components
- software engineers
- security properties
- software systems
- software development
- formal model
- security requirements
- software reuse
- security analysis
- software engineering
- building blocks
- security protocols
- software development environment
- formal specification
- web services
- formal methods
- software developers
- cryptographic protocols
- machine learning
- elliptic curve
- metamodel