Connector-Based Software Development: Deriving Secure Protocols.
Dusko PavlovicPublished in: FM (2006)
Keyphrases
- software development
- cryptographic protocols
- security protocols
- key distribution
- key exchange
- key agreement protocol
- authentication protocol
- multi party
- key establishment
- software engineering
- software systems
- security services
- security properties
- secure multiparty computation
- application level
- case study
- software developers
- security requirements
- software projects
- software architecture
- software testing
- software components
- homomorphic encryption
- cost estimation
- security analysis
- privacy preserving
- group communication
- key management
- pair programming
- authentication scheme
- development lifecycle
- public key cryptosystems
- sensor networks
- security mechanisms
- secret key
- development process
- trusted third party
- security issues
- artificial intelligence
- software industry
- wireless sensor networks
- lightweight
- electronic voting
- mutual authentication
- software maintenance
- sensitive data
- requirements engineering
- software evolution
- software reuse
- digital signature