A Few Remarks about Formal Development of Secure Systems.

Éric Jaeger Thérèse Hardin

Published in: HASE (2008)

Keyphrases

knowledge based systems
complex systems
information processing
technical issues
management system
design tools
formal methods
data sets
software engineering
distributed systems
computer systems
building blocks
formal model
support systems
safety critical