{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T09:03:04Z","timestamp":1777366984363,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2003,10,30]],"date-time":"2003-10-30T00:00:00Z","timestamp":1067472000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2003,10,30]]},"DOI":"10.1145\/1035429.1035435","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"52-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Algebraic specification of network security risk management"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"Hamdi","sequence":"first","affiliation":[{"name":"University of 7th of November, Carthage, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noureddine","family":"Boudriga","sequence":"additional","affiliation":[{"name":"University of 7th of November, Carthage, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2003,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"R. Power \"2002 CSI\/FBI Computer Crime and Security Survey \" Computer Security Institute 2002.  R. Power \"2002 CSI\/FBI Computer Crime and Security Survey \" Computer Security Institute 2002."},{"key":"e_1_3_2_1_2_1","unstructured":"G. Stonebumer A. Grogen A. Fering \"Risk Management Guide for Information Technology Systems \" National Institute for Standards and Technology Special Publication 800-30.  G. Stonebumer A. Grogen A. Fering \"Risk Management Guide for Information Technology Systems \" National Institute for Standards and Technology Special Publication 800-30."},{"key":"e_1_3_2_1_3_1","volume-title":"January","author":"Risk Management A Guide","year":"1996","unstructured":"\" A Guide to Risk Management and Safeguard Selection for IT Systems ,\" Government of Canada , Communications Security Establishment , January 1996 . \"A Guide to Risk Management and Safeguard Selection for IT Systems,\" Government of Canada, Communications Security Establishment, January 1996."},{"key":"e_1_3_2_1_4_1","volume-title":"DIRECTORATE GENERAL XIII: Telecommunications, Information Market and Exploitation of Research","author":"Security Evaluation Information Technology","year":"1993","unstructured":"\" Information Technology Security Evaluation Manual (ITSEM),\" COMMISSION OF THE EUROPEAN COMMUNITIES , DIRECTORATE GENERAL XIII: Telecommunications, Information Market and Exploitation of Research , DIRECTORATE B : Advanced Communications Technologies and Services , 1993 . \"Information Technology Security Evaluation Manual (ITSEM),\" COMMISSION OF THE EUROPEAN COMMUNITIES, DIRECTORATE GENERAL XIII: Telecommunications, Information Market and Exploitation of Research, DIRECTORATE B: Advanced Communications Technologies and Services, 1993."},{"key":"e_1_3_2_1_5_1","first-page":"981","article-title":"Algebraic Specification Techniques and Tools for Software Development: the ACT Approach","volume":"1","author":"Sen I.","unstructured":"I. ClaS Sen , H. Ehrig , D. Wolz , \" Algebraic Specification Techniques and Tools for Software Development: the ACT Approach ,\" AMAST Series in Computing - Vol. 1 , ISBN: 981 - 902 -1227-5. I. ClaSSen, H. Ehrig, D. Wolz, \"Algebraic Specification Techniques and Tools for Software Development: the ACT Approach,\" AMAST Series in Computing - Vol. 1, ISBN: 981-02-1227-5.","journal-title":"AMAST Series in Computing -"},{"key":"e_1_3_2_1_6_1","first-page":"7757","volume-title":"Boston","author":"Goguen J. A.","year":"2000","unstructured":"J. A. Goguen , G. Malcolm , \" Software Engineering with OBJ : Algebraic Specification in Action, \"Kluwer Academic Publishers , Boston , April 2000 , ISBN 0-7923- 7757 - 7755 . J. A. Goguen, G. Malcolm, \"Software Engineering with OBJ: Algebraic Specification in Action, \"Kluwer Academic Publishers, Boston, April 2000, ISBN 0-7923-7757-5."},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"Information Security Risk Analysis","volume":"8493","author":"Peltier T.P.","year":"2001","unstructured":"T.P. Peltier , \" Information Security Risk Analysis ,\" Auerbach Publications, ISBN: O- 8493-0880 - 1 , 2001 . T.P. Peltier, \"Information Security Risk Analysis,\" Auerbach Publications, ISBN: O-8493-0880-1, 2001.","journal-title":"Auerbach Publications, ISBN: O-"},{"key":"e_1_3_2_1_8_1","first-page":"341","article-title":"Risk Management","volume":"1","author":"Holmes A.","year":"2002","unstructured":"A. Holmes , \" Risk Management ,\" Capstone Publishing, ISBN : 1-84112 - 341 - 342 , 2002 . A. Holmes, \"Risk Management,\" Capstone Publishing, ISBN: 1-84112-341-2, 2002.","journal-title":"Capstone Publishing, ISBN"},{"key":"e_1_3_2_1_9_1","volume-title":"ISBN","author":"Alberts C.J.","year":"1886","unstructured":"C.J. Alberts , A.J. Dorofee , \" Managing Information Security Risks : the OCTAVE Approach,\" Addison Wesley Professional , ISBN : 03211 1886 3, July 2002. C.J. Alberts, A.J. Dorofee, \"Managing Information Security Risks: the OCTAVE Approach,\" Addison Wesley Professional, ISBN: 0321118863, July 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"GAO\/AIMD-00-33","author":"Risk Assessment Information Security","year":"1999","unstructured":"\" Information Security Risk Assessment : Practices of Leading Organizations,\" United States General Accounting Office , GAO\/AIMD-00-33 , November 1999 . \"Information Security Risk Assessment: Practices of Leading Organizations,\" United States General Accounting Office, GAO\/AIMD-00-33, November 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"GAO\/AIMD-98-68","author":"Management Information Security","year":"1998","unstructured":"\" Information Security Management : Leading from Leading Organizations,\" United States General Accounting Office , GAO\/AIMD-98-68 , May 1998 . \"Information Security Management: Leading from Leading Organizations,\" United States General Accounting Office, GAO\/AIMD-98-68, May 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Nordic Workshop on Secure IT Systems, Norway.","author":"Hamdi M.","unstructured":"M. Hamdi , N. Boudriga , \"NetRAM : A Novel Method for Network Security Risk Management,\" Submitted to NORDSEC2003 , Nordic Workshop on Secure IT Systems, Norway. M. Hamdi, N. Boudriga, \"NetRAM: A Novel Method for Network Security Risk Management,\" Submitted to NORDSEC2003, Nordic Workshop on Secure IT Systems, Norway."},{"key":"e_1_3_2_1_13_1","first-page":"0471253111","article-title":"Secrets and Lies: Digital Security in a Networked World","author":"Schneier B.","year":"2001","unstructured":"B. Schneier , \" Secrets and Lies: Digital Security in a Networked World ,\" John Wiley & Sons,ISBN : 0471253111 , 2001 . B. Schneier, \"Secrets and Lies: Digital Security in a Networked World,\" John Wiley & Sons,ISBN: 0471253111, 2001.","journal-title":"John Wiley & Sons,ISBN"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 2001 IEEE Workshop on Information Assurance and Security","author":"Tidwell T.","year":"2001","unstructured":"T. Tidwell , R. Larson , K. Fitch , J. Hale , \" Modeling Internet Attacks ,\" Proceedings of the 2001 IEEE Workshop on Information Assurance and Security , West Point, NY , June , 2001 . T. Tidwell, R. Larson, K. Fitch, J. Hale, \"Modeling Internet Attacks,\" Proceedings of the 2001 IEEE Workshop on Information Assurance and Security, West Point, NY, June, 2001."},{"key":"e_1_3_2_1_15_1","first-page":"0","article-title":"Specification of Abstract Data Types","author":"Loeckx J.","year":"1996","unstructured":"J. Loeckx , H-D. Ehrich , M. Wolf , \" Specification of Abstract Data Types ,\" Wiley&Teubner , 1996 , I SBN: 0 - 471 -95067-X. J. Loeckx, H-D. Ehrich, M. Wolf, \"Specification of Abstract Data Types,\" Wiley&Teubner, 1996, ISBN: 0-471-95067-X.","journal-title":"Wiley&Teubner"},{"key":"e_1_3_2_1_16_1","unstructured":"FedCIRC U.S. General Services Administration \"Common Vulnerabilities and Exposures \" http:\/\/www.cve.mitre.org.  FedCIRC U.S. General Services Administration \"Common Vulnerabilities and Exposures \" http:\/\/www.cve.mitre.org."},{"key":"e_1_3_2_1_17_1","unstructured":"National Institute for Standards and Technology Computer Security Division \"The ICAT Project \" http:\/\/icat.nist.gov.  National Institute for Standards and Technology Computer Security Division \"The ICAT Project \" http:\/\/icat.nist.gov."},{"key":"e_1_3_2_1_18_1","unstructured":"K. Deb A. Pratap S. Agrawal \"A Fast and Elitist Multi-objective Genetic Algorithm: NSGA-II \" Proceedings of the Parallel Problem Solving from Nature VI Conference.  K. Deb A. Pratap S. Agrawal \"A Fast and Elitist Multi-objective Genetic Algorithm: NSGA-II \" Proceedings of the Parallel Problem Solving from Nature VI Conference."}],"event":{"name":"CCS03: Tenth ACM Conference on Computer and Communications Security 2003","location":"Washington D.C.","acronym":"CCS03","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2003 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035435","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035429.1035435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:29Z","timestamp":1750263869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10,30]]},"references-count":18,"alternative-id":["10.1145\/1035429.1035435","10.1145\/1035429"],"URL":"https:\/\/doi.org\/10.1145\/1035429.1035435","relation":{},"subject":[],"published":{"date-parts":[[2003,10,30]]},"assertion":[{"value":"2003-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}