Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. High-Assurance Synthesis of Security Services from Basic Microservices. In 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. pages 154-168, IEEE Computer Society, 2003. [doi]
Abstract is missing.