{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:05:38Z","timestamp":1725797138766},"publisher-location":"Boston, MA","reference-count":9,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475780161"},{"type":"electronic","value":"9781402081439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8143-x_1","type":"book-chapter","created":{"date-parts":[[2005,12,23]],"date-time":"2005-12-23T16:39:43Z","timestamp":1135355983000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["An Abstract Reduction Model for Computer Security Risk"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Hamdi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noureddine","family":"Boudriga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Managing Information Security Risks: the OCTAVE Approach","author":"CJ Alberts","year":"2002","unstructured":"Alberts, C.J., Dorofee, A.J. (2002).Managing Information Security Risks: the OCTAVE Approach, Addison Wesley Professional, ISBN: 0321118863."},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0167-6423(87)90030-X","volume":"9","author":"A Cherifa Ben","year":"1987","unstructured":"Ben Cherifa, A. Lescanne, P. (1987). Termination of Rewriting Systems by Polynomial Interpretations and its Implementation, Science of Computer Programming, 9(2):137\u2013160.","journal-title":"Science of Computer Programming"},{"key":"1_CR3","unstructured":"Cla\u00dfen, I., Ehrig, H., Wolz, D. Algebraic Specification Techniques and Tools for Software Development: the ACT Approach, AMAST Series in Computing (1), ISBN: 981\u201302-1227\u20135."},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0","volume-title":"Software Engineering with OBJ: Algebraix Specification in Action","author":"JA Goguen","year":"2000","unstructured":"Goguen, J.A., Malcolm, G. (2000). Software Engineering with OBJ: Algebraix Specification in Action, Kluwer Academic Publishers, Boston, ISBN: 0\u20137923-7757\u20135."},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1145\/1035429.1035435","volume-title":"Algebraic Specification of Network Security Risk Management","author":"M Hamdi","year":"2003","unstructured":"Hamdi, M., Boudriga, N. (2003). Algebraic Specification of Network Security Risk Management, First ACM Workshop on Formal Methods in Security Engineering, Washington D.C."},{"key":"1_CR6","unstructured":"Loeckx, J., Ehrich, H-D., Wolf, M. \u201cSpecification of Abstract Data Types,\u201d Wiley and Teubner, ISBN: 0\u2013471-95067-X."},{"key":"1_CR7","volume-title":"Risk Management Guide for Information Technology Systems","author":"G Stonebumer","year":"2002","unstructured":"Stonebumer, G., Grogen, A., Fering, A. (2002). Risk Management Guide for Information Technology Systems, National Institute for Standards and Technology, Special Publication 80030."},{"key":"1_CR8","unstructured":"A Guide to Risk Management and Safeguard Selection for IT Systems, Government of Canada, Communications Security Establishment, January 1996."},{"key":"1_CR9","volume-title":"Practices of Leading Organizations","author":"Information Security Risk Assessment","year":"1999","unstructured":"Information Security Risk Assessment: Practices of Leading Organizations, United States General Accounting Office, GAO\/AIMD-00\u201333, November 1999."}],"container-title":["Security and Protection in Information Processing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8143-X_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,7]],"date-time":"2019-02-07T03:32:14Z","timestamp":1549510334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8143-X_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781475780161","9781402081439"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8143-x_1","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}