High assurance synthesis of security services from basic microservices
| Title | High assurance synthesis of security services from basic microservices |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Kim, S., F. B. Bastani, I. L. Yen, and I. - R. Chen |
| Conference Name | 14th IEEE International Symposium on Software Reliability Engineering |
| Date Published | November 2003 |
| Conference Location | Denver, Colorado |