High assurance synthesis of security services from basic microservices

TitleHigh assurance synthesis of security services from basic microservices
Publication TypeConference Paper
Year of Publication2003
AuthorsKim, S., F. B. Bastani, I. L. Yen, and I. - R. Chen
Conference Name14th IEEE International Symposium on Software Reliability Engineering
Date PublishedNovember 2003
Conference LocationDenver, Colorado