High-Assurance Synthesis of Security Services from Basic Microservices.

Sung Kim Farokh B. Bastani I-Ling Yen Ing-Ray Chen

Published in: ISSRE (2003)

Keyphrases

security services
high assurance
security mechanisms
access control
security protocols
operating system
software systems
distributed systems
personal information
fault tolerant
key management
government services
authentication mechanism
resource constrained
information systems
smart card
website