{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:21:11Z","timestamp":1725643271169},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196464"},{"type":"electronic","value":"9781447131786"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-1-4471-3178-6_21","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T02:53:50Z","timestamp":1323831230000},"page":"301-308","source":"Crossref","is-referenced-by-count":1,"title":["Combining Verified and Adaptive System Components Towards More Secure Computer Architectures"],"prefix":"10.1007","author":[{"given":"Simone","family":"Fischer-H\u00fcbner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Brunnstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"21_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MC.1983.1654439","volume":"16","author":"Ames","year":"1983","unstructured":"S. Ames, M. Gasser, R. Shell, \u201cSecurity Kernel Design and Implementation: An Introduction\u201d, IEEE Computer, 1983, Vol. 16, No. 7.","journal-title":"Computer"},{"key":"21_CR2","volume-title":"Proceedings IFIP-Sec\u2019 90 Conference","author":"K Brunnstein","year":"1990","unstructured":"K. Brunnstein, S. Fischer-Hiibner, \u201cRisk Analysis of Trust Computer Sytems\u201d, Proceedings IFIP-Sec\u2019 90 Conference, Helsinki, May 1990."},{"key":"21_CR3","volume-title":"Proceedings of the 1986 Symposium on Security and Privacy","author":"D Denning","year":"1986","unstructured":"D. Denning, \u201cAn Intrusion-Detection Model\u201d, Proceedings of the 1986 Symposium on Security and Privacy, IEEE Computer Society, Oakland, April 1986."},{"key":"21_CR4","unstructured":"\u201cDoD Trusted Computer Systems Evaluation Criteria\u201d, DoD 5200.28-STD, Washington D.C., Department of Defence, 1985"},{"key":"21_CR5","unstructured":"S. Fischer-H\u00fcbner, K. Brunnstein, Opportunities and Risks of Intrusion Detection Expert Systems, Proceedings of the IFIP TC-9 Conference \u201cOpportunities and Risks of AI Systems\u201d (ORAIS\u201989), Hamburg 1989"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"R. Irving, C. Higgins, F. Safayemi, \u201cComputerized Performance Monitoring Systems: Use and Abuse\u201d, CACM Vol. 29, No. 8, 1986.","DOI":"10.1145\/6424.6430"},{"key":"21_CR7","unstructured":"\u201cIT-Security Criteria: Criteria for the Evaluation of Security of Information Technology\u201d, Zentralstelle f\u00fcr Sicherheit in der Informationstechnik, Bonn, 1989."},{"key":"21_CR8","first-page":"0","volume-title":"Proceedings of the 1989 AI Systems in Government Confrence","author":"T Lunt","year":"1989","unstructured":"T. Lunt, R. Jagannathan, R. Lee, A. Whitehurst, \u201cKnowledge-Based Intrusion Detection\u201d, Proceedings of the 1989 AI Systems in Government Confrence, March 1989."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"T. Lunt, \u201cAutomated Audit Trail Analysis and Intrusion Detection: A Survey\u201d, Proceedings of the 11th National Computer Security Conference, October 1988.","DOI":"10.1016\/0167-4048(92)90256-Q"},{"key":"21_CR10","volume-title":"Proceedings of the 11th National Computer Security Conference","author":"R Whitehurst","year":"1988","unstructured":"R. Whitehurst, M. Sebring, E. Shellhouse, M. Hanna, \u201cExpert Systems in Intrusion Detection: A Case Study\u201d, Proceedings of the 11th National Computer Security Conference, October 1988."}],"container-title":["Workshops in Computing","Security and Persistence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3178-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T18:28:56Z","timestamp":1561055336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3178-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540196464","9781447131786"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3178-6_21","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1990]]}}}