Formal Security Analysis for Blockchain-based Software Architecture.
Nacha ChondamrongkulJing SunIan WarrenPublished in: SEKE (2020)
Keyphrases
- software architecture
- security analysis
- security requirements
- public key
- smart card
- software systems
- high security
- software engineering
- authentication protocol
- embedded software
- software development
- formal model
- security mechanisms
- distributed systems
- functional requirements
- user authentication
- decision making
- object oriented
- authentication scheme