(B)LOCKBOX - Secure Software Architecture with Blockchain Verification.
Erik HeilandPeter HillmannPublished in: CoRR (2022)
Keyphrases
- software architecture
- security requirements
- cryptographic protocols
- integrity verification
- description language
- software systems
- software engineering
- distributed systems
- architectural design
- embedded software
- high security
- reference model
- functional requirements
- model checking
- security analysis
- design patterns
- reference architecture
- decision making
- project management
- software development
- mobile devices
- case study
- commercial off the shelf
- web services