Security Properties of Software Components.
Khaled M. KhanJun HanYuliang ZhengPublished in: ISW (1999)
Keyphrases
- software components
- security properties
- security requirements
- software systems
- security analysis
- formal model
- software development
- security protocols
- software reuse
- building blocks
- formal specification
- formal methods
- web services
- cryptographic protocols
- smart card
- commercial off the shelf
- database systems
- software engineering
- databases
- software architecture
- data integration
- information technology
- elliptic curve
- high level
- machine learning
- data mining