Rethinking Software Component Security: Software Component Level Integrity and Cross Verification.
Byungho MinVijay VaradharajanPublished in: Comput. J. (2016)
Keyphrases
- software components
- software systems
- high assurance
- integrity verification
- software development
- software reuse
- security level
- building blocks
- commercial off the shelf
- software modules
- web services
- information security
- trusted computing
- data integrity
- java card
- model checking
- high security
- access control
- databases
- reusable components
- component based architecture
- cryptographic protocols
- source code
- cooperative
- software quality
- security requirements
- intrusion detection
- data confidentiality
- software engineering