Safe and sound: a safety-critical approach to security.

Sacha Brostoff Martina Angela Sasse

Published in: NSPW (2001)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
agent architecture
nuclear power plant
information security
support systems
real time
machine learning
regulatory requirements
databases
cooperative
recommender systems
adaptive systems