A Few Remarks About Formal Development of Secure Systems

Éric Jaeger Thérèse Hardin

Published in: CoRR (2009)

Keyphrases

information processing
support systems
intelligent systems
commercial off the shelf
communication technologies
complex systems
enabling technologies
technical issues
security mechanisms
formal methods
design tools
data sets
lightweight
computer systems
management system
knowledge base
artificial intelligence