Joint safety and security analysis for complex systems.

Sergey Bezzateev Natalia Voloshina Petr Sankin

Published in: FRUCT (2013)

Keyphrases

complex systems
security analysis
dynamic systems
smart card
public key
security requirements
high security
multi agent systems
encryption scheme
physical systems
biological systems
authentication protocol
user authentication
technical systems
mutual authentication
steady state simulation