Sung Kim Farokh B. Bastani I-Ling Yen Ing-Ray Chen High-Assurance Synthesis of Security Services from Basic Microservices. 154-168 2003 conf/issre/2003 ISSRE http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070154abs.htm db/conf/issre/issre2003.html#KimBYC03