Formal Security Analysis of Electronic Software Distribution Systems.
Monika MaidlDavid von OheimbPeter HartmannRichard RobinsonPublished in: SAFECOMP (2008)
Keyphrases
- security analysis
- distribution systems
- public key
- power system
- smart card
- security requirements
- software development
- emergency response
- computer systems
- smart grid
- software architecture
- software systems
- user authentication
- mobile agents
- embedded systems
- access control
- encryption scheme
- decision support
- distribution network
- information technology