{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T13:37:57Z","timestamp":1781357877201,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"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":[[2017,10]]},"DOI":"10.1145\/3171533.3171540","type":"proceedings-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T16:12:59Z","timestamp":1519402379000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Practicing a Science of Security"],"prefix":"10.1145","author":[{"given":"Jonathan M.","family":"Spring","sequence":"first","affiliation":[{"name":"University College London, London"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tyler","family":"Moore","sequence":"additional","affiliation":[{"name":"The University of Tulsa, Tulsa, OK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[{"name":"University College London, London, Alan Turing Institute"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Security Engineering: A guide to building dependable distributed systems","author":"Anderson R.","year":"2008","unstructured":"Anderson , R. Security Engineering: A guide to building dependable distributed systems , 2 nd ed. Wiley , Indianapolis, IN , 2008 . Anderson, R. Security Engineering: A guide to building dependable distributed systems, 2nd ed. Wiley, Indianapolis, IN, 2008.","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1130992"},{"key":"e_1_3_2_1_3_1","volume-title":"Secrecy and science: A historical sociology of biological and chemical warfare","author":"Balmer B.","year":"2013","unstructured":"Balmer , B. Secrecy and science: A historical sociology of biological and chemical warfare . Ashgate Publishing, Ltd. , 2013 . Balmer, B. Secrecy and science: A historical sociology of biological and chemical warfare. Ashgate Publishing, Ltd., 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"Discovering complexity: Decomposition and localization as strategies in scientific research","author":"Bechtel W.","year":"1993","unstructured":"Bechtel , W. , and Richardson , R. C . Discovering complexity: Decomposition and localization as strategies in scientific research , 1 st ed. Princeton University Press , Princeton, NJ , 1993 . Bechtel, W., and Richardson, R. C. Discovering complexity: Decomposition and localization as strategies in scientific research, 1st ed. Princeton University Press, Princeton, NJ, 1993.","edition":"1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199211531.003.0003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2333112.2333114"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/2185445"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/0198247044.001.0001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1215\/00182702-23-1-143"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:osobl\/9780199841608.001.0001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2015.97"},{"key":"e_1_3_2_1_12_1","volume-title":"A Discipline of Math. Systems Modelling","author":"Collinson M.","year":"2012","unstructured":"Collinson , M. , Monahan , B. , and Pym , D . A Discipline of Math. Systems Modelling . College Publns ., 2012 . Collinson, M., Monahan, B., and Pym, D. A Discipline of Math. Systems Modelling. College Publns., 2012."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.04.040"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199299317.001.0001"},{"key":"e_1_3_2_1_15_1","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Creath R.","year":"2014","unstructured":"Creath , R. Logical empiricism . In The Stanford Encyclopedia of Philosophy , E. N. Zalta, Ed., spring 2014 ed. Metaphysics Research Lab, Stanford University , 2014. Creath, R. Logical empiricism. In The Stanford Encyclopedia of Philosophy, E. N. Zalta, Ed., spring 2014 ed. Metaphysics Research Lab, Stanford University, 2014."},{"key":"e_1_3_2_1_16_1","volume-title":"Interfield Relations, and Anomaly Resolution","author":"Darden L.","year":"2006","unstructured":"Darden , L. Reasoning in Biological Discoveries: Essays on Mechanisms , Interfield Relations, and Anomaly Resolution . Cambridge University Press , 2006 . Darden, L. Reasoning in Biological Discoveries: Essays on Mechanisms, Interfield Relations, and Anomaly Resolution. Cambridge University Press, 2006."},{"key":"e_1_3_2_1_17_1","volume-title":"Interfield theories. Philosophy of science 44","author":"Darden L.","year":"1977","unstructured":"Darden , L. , and Maull , N . Interfield theories. Philosophy of science 44 ( 1977 ), 43--64. Darden, L., and Maull, N. Interfield theories. Philosophy of science 44 (1977), 43--64."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23357"},{"key":"e_1_3_2_1_19_1","first-page":"59","article-title":"Beware of the DAG! NIPS Causality","volume":"6","author":"Dawid A. P","year":"2010","unstructured":"Dawid , A. P . Beware of the DAG! NIPS Causality : Objectives and Assessment 6 ( 2010 ), 59 -- 86 . Dawid, A. P. Beware of the DAG! NIPS Causality: Objectives and Assessment 6 (2010), 59--86.","journal-title":"Objectives and Assessment"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226139500.001.0001"},{"key":"e_1_3_2_1_21_1","volume-title":"Department of Homeland Security","author":"Dittrich D.","year":"2012","unstructured":"Dittrich , D. , and Kenneally , E . The Menlo Report: Ethical Principles Guiding Information and Communication Technology Research. Tech. rep., U.S . Department of Homeland Security , Aug 2012 . Dittrich, D., and Kenneally, E. The Menlo Report: Ethical Principles Guiding Information and Communication Technology Research. Tech. rep., U.S. Department of Homeland Security, Aug 2012."},{"key":"e_1_3_2_1_22_1","volume-title":"Essential cybersecurity science: build, test, and evaluate secure systems. \"O'Reilly Media","author":"Dykstra J.","year":"2015","unstructured":"Dykstra , J. Essential cybersecurity science: build, test, and evaluate secure systems. \"O'Reilly Media , Inc .\", 2015 . Dykstra, J. Essential cybersecurity science: build, test, and evaluate secure systems. \"O'Reilly Media, Inc.\", 2015."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2481329"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511812255"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.50"},{"key":"e_1_3_2_1_26_1","volume-title":"Jan 25, 2017. Accessed","author":"Evron G.","year":"2017","unstructured":"Evron , G. Art into Science: A conference on defense. http:\/\/artintoscience.com , Jan 25, 2017. Accessed Apr 2017 . Evron, G. Art into Science: A conference on defense. http:\/\/artintoscience.com, Jan 25, 2017. Accessed Apr 2017."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723872.2723875"},{"key":"e_1_3_2_1_28_1","volume-title":"Trading zone: Coordinating action and belief. The Science Studies Reader","author":"Galison P.","year":"1999","unstructured":"Galison , P. Trading zone: Coordinating action and belief. The Science Studies Reader ( 1999 ), 137--160. Galison, P. Trading zone: Coordinating action and belief. The Science Studies Reader (1999), 137--160."},{"key":"e_1_3_2_1_29_1","volume-title":"Ed. MIT Press","author":"Galison P.","year":"2010","unstructured":"Galison , P. Trading with the enemy. In Trading zones and interactional expertise. Creating new kinds of collaboration, M. E. Gorman , Ed. MIT Press , Cambridge, MA , 2010 , ch. 3. Galison, P. Trading with the enemy. In Trading zones and interactional expertise. Creating new kinds of collaboration, M. E. Gorman, Ed. MIT Press, Cambridge, MA, 2010, ch. 3."},{"key":"e_1_3_2_1_30_1","volume-title":"Symposium on the Science of Security","author":"Galison P.","year":"2012","unstructured":"Galison , P. Augustinian and Manichaean science . In Symposium on the Science of Security ( National Harbor, MD , Nov 29, 2012 ). Galison, P. Augustinian and Manichaean science. In Symposium on the Science of Security (National Harbor, MD, Nov 29, 2012)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505004858"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143120.1143127"},{"key":"e_1_3_2_1_33_1","volume-title":"NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting","author":"Geer D. T.S.","year":"2015","unstructured":"Geer , D. T.S. Kuhn revisited . In NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting ( Arlington, VA , Jan 6, 2015 ). Geer, D. T.S. Kuhn revisited. In NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting (Arlington, VA, Jan 6, 2015)."},{"key":"e_1_3_2_1_34_1","volume-title":"Sage","author":"Given L. M., Ed.","year":"2008","unstructured":"Given , L. M., Ed. The Sage encyclopedia of qualitative research methods . Sage , Thousand Oaks, CA , 2008 . Given, L. M., Ed. The Sage encyclopedia of qualitative research methods. Sage, Thousand Oaks, CA, 2008."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-009-9203-9"},{"key":"e_1_3_2_1_36_1","volume-title":"The Oxford Handbook of Philosophy of Science","author":"Glennan S.","year":"2015","unstructured":"Glennan , S. Mechanisms and mechanical philosophy . In The Oxford Handbook of Philosophy of Science , P. Humphreys, Ed. Oxford University Press , Aug 2015 . Glennan, S. Mechanisms and mechanical philosophy. In The Oxford Handbook of Philosophy of Science, P. Humphreys, Ed. Oxford University Press, Aug 2015."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.4324\/9781315731544"},{"key":"e_1_3_2_1_38_1","first-page":"4","article-title":"Causes and explanations: A structural-model approach","volume":"56","author":"Halpern J. Y.","year":"2005","unstructured":"Halpern , J. Y. , and Pearl , J . Causes and explanations: A structural-model approach . Part I: Causes. The British Journal for the Philosophy of Science 56 , 4 ( 2005 ), 843--887. Halpern, J. Y., and Pearl, J. Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Philosophy of Science 56, 4 (2005), 843--887.","journal-title":"Part I: Causes. The British Journal for the Philosophy of Science"},{"key":"e_1_3_2_1_39_1","first-page":"4","article-title":"Causes and explanations: A structural-model approach","volume":"56","author":"Halpern J. Y.","year":"2005","unstructured":"Halpern , J. Y. , and Pearl , J . Causes and explanations: A structural-model approach . Part II: Explanations. The British Journal for the Philosophy of Science 56 , 4 ( 2005 ), 889--911. Halpern, J. Y., and Pearl, J. Causes and explanations: A structural-model approach. Part II: Explanations. The British Journal for the Philosophy of Science 56, 4 (2005), 889--911.","journal-title":"Part II: Explanations. The British Journal for the Philosophy of Science"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13347-014-0164-9"},{"key":"e_1_3_2_1_41_1","first-page":"1","article-title":"The protoscience of cybersecurity","author":"Hatleback E. N","year":"2017","unstructured":"Hatleback , E. N . The protoscience of cybersecurity . The Journal of Defense Modeling and Simulation ( 2017 ), 1 -- 8 . Hatleback, E. N. The protoscience of cybersecurity. The Journal of Defense Modeling and Simulation (2017), 1--8.","journal-title":"The Journal of Defense Modeling and Simulation ("},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/2017635"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.38"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13194-011-0038-2"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.375719"},{"key":"e_1_3_2_1_46_1","volume-title":"The Art of Computer Systems Performance Analysis","author":"Jain R.","year":"1991","unstructured":"Jain , R. The Art of Computer Systems Performance Analysis . Wiley & Sons , 1991 . Jain, R. The Art of Computer Systems Performance Analysis. Wiley & Sons, 1991."},{"key":"e_1_3_2_1_47_1","volume-title":"The fifth branch: Science advisers as policymakers","author":"Jasanoff S.","year":"1990","unstructured":"Jasanoff , S. The fifth branch: Science advisers as policymakers . Harvard University Press , Cambridge, MA, USA , 1990 . Jasanoff, S. The fifth branch: Science advisers as policymakers. Harvard University Press, Cambridge, MA, USA, 1990."},{"key":"e_1_3_2_1_48_1","volume-title":"Dec","author":"Katz J.","year":"2016","unstructured":"Katz , J. Call for papers: Hot topics in the science of security (HoTSoS) , Dec 2016 . http:\/\/cps-vo.org\/group\/hotsos\/cfp. Katz, J. Call for papers: Hot topics in the science of security (HoTSoS), Dec 2016. http:\/\/cps-vo.org\/group\/hotsos\/cfp."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270346"},{"key":"e_1_3_2_1_50_1","volume-title":"Discussion of the method: Conducting the engineer's approach to problem solving","author":"Koen B. V.","year":"2003","unstructured":"Koen , B. V. Discussion of the method: Conducting the engineer's approach to problem solving . Oxford University Press , New York , 2003 . Koen, B. V. Discussion of the method: Conducting the engineer's approach to problem solving. Oxford University Press, New York, 2003."},{"key":"e_1_3_2_1_51_1","first-page":"1","volume-title":"Towards fundamental science of cyber security","author":"Kott A.","year":"2014","unstructured":"Kott , A. Towards fundamental science of cyber security . In Network Science and Cybersecurity, R. E. Pino, Ed. Springer, New York , NY, 2014 , pp. 1 -- 13 . Kott, A. Towards fundamental science of cyber security. In Network Science and Cybersecurity, R. E. Pino, Ed. Springer, New York, NY, 2014, pp. 1--13."},{"key":"e_1_3_2_1_52_1","first-page":"21","volume-title":"Learning from Authoritative Security Experiment Results (LASER) (San Jose","author":"Krol K.","year":"2016","unstructured":"Krol , K. , Spring , J. M. , Parkin , S. , and Sasse , M. A . Towards robust experimental design for user studies in security and privacy . In Learning from Authoritative Security Experiment Results (LASER) (San Jose , CA, 2016 ), IEEE , pp. 21 -- 31 . Krol, K., Spring, J. M., Parkin, S., and Sasse, M. A. Towards robust experimental design for user studies in security and privacy. In Learning from Authoritative Security Experiment Results (LASER) (San Jose, CA, 2016), IEEE, pp. 21--31."},{"key":"e_1_3_2_1_53_1","volume-title":"Portugal, Mar 29-Apr 1","author":"Kuhlmann D.","year":"2016","unstructured":"Kuhlmann , D. , Chen , L. , and Mitchell , C . Trust and legitimacy in security standardization -- a new management issue? In Interoperability for Enterprise Systems and Applications (I-ESA 16) (Guimaraes , Portugal, Mar 29-Apr 1 2016 ), ISTE Publications . Kuhlmann, D., Chen, L., and Mitchell, C. Trust and legitimacy in security standardization -- a new management issue? In Interoperability for Enterprise Systems and Applications (I-ESA 16) (Guimaraes, Portugal, Mar 29-Apr 1 2016), ISTE Publications."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226458144.001.0001"},{"key":"e_1_3_2_1_55_1","first-page":"189","volume-title":"Understanding in biology: The impure nature of biological knowledge","author":"Leonelli S.","year":"2009","unstructured":"Leonelli , S. Understanding in biology: The impure nature of biological knowledge . University of Pittsburgh Press , Pittsburgh, PA, USA , 2009 , pp. 189 -- 209 . Leonelli, S. Understanding in biology: The impure nature of biological knowledge. University of Pittsburgh Press, Pittsburgh, PA, USA, 2009, pp. 189--209."},{"key":"e_1_3_2_1_56_1","volume-title":"Thinking about mechanisms. Philosophy of science 67 (March","author":"Machamer P.","year":"2000","unstructured":"Machamer , P. , Darden , L. , and Craver , C. F . Thinking about mechanisms. Philosophy of science 67 (March 2000 ), 1--25. Machamer, P., Darden, L., and Craver, C. F. Thinking about mechanisms. Philosophy of science 67 (March 2000), 1--25."},{"key":"e_1_3_2_1_57_1","volume-title":"Workshop on the Science of Cyber Security","author":"Maxion R.","year":"2015","unstructured":"Maxion , R. Structure as an aid to good science . In Workshop on the Science of Cyber Security ( Bristol, UK , January 2015 ), IFIP Working Group 10.4. Maxion, R. Structure as an aid to good science. In Workshop on the Science of Cyber Security (Bristol, UK, January 2015), IFIP Working Group 10.4."},{"key":"e_1_3_2_1_58_1","series-title":"Handbook of the Philosophy of Science","volume-title":"Philosophy of Technology and Engineering Sciences","author":"Meijers A.","year":"2009","unstructured":"Meijers , A. , Ed. Philosophy of Technology and Engineering Sciences , vol. 9 of Handbook of the Philosophy of Science . North-Holland , Amsterdam , 2009 . Meijers, A., Ed. Philosophy of Technology and Engineering Sciences, vol. 9 of Handbook of the Philosophy of Science. North-Holland, Amsterdam, 2009."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/3050867"},{"key":"e_1_3_2_1_60_1","series-title":"The Next Wave","volume-title":"MD","author":"Meushaw R.","year":"2012","unstructured":"Meushaw , R. , Ed. Developing a blueprint for a science of cybersecurity (Fort Meade , MD , 2012 ), vol. 19: 2 of The Next Wave , U.S. National Security Agency . Meushaw, R., Ed. Developing a blueprint for a science of cybersecurity (Fort Meade, MD, 2012), vol. 19:2 of The Next Wave, U.S. National Security Agency."},{"key":"e_1_3_2_1_61_1","volume-title":"Oct 19","author":"Meushaw R.","year":"2012","unstructured":"Meushaw , R. What is security science? , Oct 19 , 2012 . http:\/\/cps-vo.org\/node\/6041. Meushaw, R. What is security science?, Oct 19, 2012. http:\/\/cps-vo.org\/node\/6041."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511802683"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1177\/0048393113489100"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1086\/677888"},{"key":"e_1_3_2_1_66_1","volume-title":"The structure of science: Problems in the logic of scientific explanation","author":"Nagel E.","year":"1979","unstructured":"Nagel , E. The structure of science: Problems in the logic of scientific explanation , 2 nd ed. Routledge & Kegan Paul , London , 1979 . Nagel, E. The structure of science: Problems in the logic of scientific explanation, 2nd ed. Routledge & Kegan Paul, London, 1979.","edition":"2"},{"key":"e_1_3_2_1_67_1","volume-title":"Password guidance: Simplifying your approach","author":"National Cyber Security Centre.","year":"2017","unstructured":"National Cyber Security Centre. Password guidance: Simplifying your approach , 2017 . https:\/\/www.ncsc.gov.uk\/guidance\/password-guidance-simplifying-your-approach. National Cyber Security Centre. Password guidance: Simplifying your approach, 2017. https:\/\/www.ncsc.gov.uk\/guidance\/password-guidance-simplifying-your-approach."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1086\/656542"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.2307\/421090"},{"key":"e_1_3_2_1_71_1","first-page":"54","volume-title":"USA","author":"Oltramari A.","year":"2014","unstructured":"Oltramari , A. , Cranor , L. F. , Walls , R. J. , and McDaniel , P. D. Building an ontology of cyber security. In Semantic Technology for Intelligence, Defense, and Security (Fairfax, VA , USA , Nov 2014 ), pp. 54 -- 61 . Oltramari, A., Cranor, L. F., Walls, R. J., and McDaniel, P. D. Building an ontology of cyber security. In Semantic Technology for Intelligence, Defense, and Security (Fairfax, VA, USA, Nov 2014), pp. 54--61."},{"key":"e_1_3_2_1_72_1","volume-title":"Making software: What really works, and why we believe it","author":"Oram A.","year":"2010","unstructured":"Oram , A. , and Wilson , G . Making software: What really works, and why we believe it . O'Reilly Media, Inc. , 2010 . Oram, A., and Wilson, G. Making software: What really works, and why we believe it. O'Reilly Media, Inc., 2010."},{"key":"e_1_3_2_1_73_1","volume-title":"Cambridge University Press","author":"Pearl J.","year":"2009","unstructured":"Pearl , J. Causality . Cambridge University Press , Cambridge, UK , 2009 . Pearl, J. Causality. Cambridge University Press, Cambridge, UK, 2009."},{"key":"e_1_3_2_1_74_1","volume-title":"The logic of scientific discovery","author":"Popper K. R.","year":"1959","unstructured":"Popper , K. R. The logic of scientific discovery . Hutchinson , London , 1959 . Popper, K. R. The logic of scientific discovery. Hutchinson, London, 1959."},{"key":"e_1_3_2_1_75_1","volume-title":"Why separation logic works. Submitted","author":"Pym D.","year":"2017","unstructured":"Pym , D. , Spring , J. , and O'Hearn , P. Why separation logic works. Submitted , 2017 . Manuscript : http:\/\/www0.cs.ucl.ac.uk\/staff\/D.Pym\/PSO-SL.pdf. Pym, D., Spring, J., and O'Hearn, P. Why separation logic works. Submitted, 2017. Manuscript: http:\/\/www0.cs.ucl.ac.uk\/staff\/D.Pym\/PSO-SL.pdf."},{"key":"e_1_3_2_1_76_1","volume-title":"Annual report. Tech. rep","author":"Research Institute in Science of Cyber Security.","year":"2016","unstructured":"Research Institute in Science of Cyber Security. Annual report. Tech. rep ., University College London , London, UK , 2016 . Research Institute in Science of Cyber Security. Annual report. Tech. rep., University College London, London, UK, 2016."},{"key":"e_1_3_2_1_77_1","first-page":"55","volume-title":"Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (Washington, DC, USA, 2002), LICS '02, IEEE Computer Society","author":"Reynolds J. C.","unstructured":"Reynolds , J. C. Separation logic : A logic for shared mutable data structures . In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (Washington, DC, USA, 2002), LICS '02, IEEE Computer Society , pp. 55 -- 74 . Reynolds, J. C. Separation logic: A logic for shared mutable data structures. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (Washington, DC, USA, 2002), LICS '02, IEEE Computer Society, pp. 55--74."},{"key":"e_1_3_2_1_80_1","volume-title":"Federal cybersecurity research and development strategic plan: Ensuring prosperity and national security. Tech. rep","author":"Shannon G.","year":"2016","unstructured":"Shannon , G. , Bogner , K. , Epstein , J. , Fraser , T. , King , S. , Martin , W. B. , Maughan , D. , Morrow , J. , Newhouse , W. , Polk , W. T. , and Vagoun , T . Federal cybersecurity research and development strategic plan: Ensuring prosperity and national security. Tech. rep ., National Science and Technology Council , Washington, DC , Feb 2016 . Shannon, G., Bogner, K., Epstein, J., Fraser, T., King, S., Martin, W. B., Maughan, D., Morrow, J., Newhouse, W., Polk, W. T., and Vagoun, T. Federal cybersecurity research and development strategic plan: Ensuring prosperity and national security. Tech. rep., National Science and Technology Council, Washington, DC, Feb 2016."},{"key":"e_1_3_2_1_81_1","volume-title":"Version 2. RFC 4949 (Informational)","author":"Shirey R.","year":"2007","unstructured":"Shirey , R. Internet Security Glossary , Version 2. RFC 4949 (Informational) , Aug. 2007 . Shirey, R. Internet Security Glossary, Version 2. RFC 4949 (Informational), Aug. 2007."},{"key":"e_1_3_2_1_82_1","volume-title":"Pearson Education","author":"Shostack A.","year":"2008","unstructured":"Shostack , A. , and Stewart , A . The new school of information security . Pearson Education , 2008 . Shostack, A., and Stewart, A. The new school of information security. Pearson Education, 2008."},{"key":"e_1_3_2_1_83_1","volume-title":"The sciences of the artificial","author":"Simon H. A.","year":"1996","unstructured":"Simon , H. A. The sciences of the artificial , 3 rd ed. MIT press , Cambridge, MA , 1996 . Simon, H. A. The sciences of the artificial, 3rd ed. MIT press, Cambridge, MA, 1996.","edition":"3"},{"key":"e_1_3_2_1_84_1","first-page":"2","article-title":"Thinking about intrusion kill chains as mechanisms","volume":"2","author":"Spring J. M.","year":"2017","unstructured":"Spring , J. M. , and Hatleback , E . Thinking about intrusion kill chains as mechanisms . Journal of Cybersecurity 2 , 2 ( 2017 ). Spring, J. M., and Hatleback, E. Thinking about intrusion kill chains as mechanisms. Journal of Cybersecurity 2, 2 (2017).","journal-title":"Journal of Cybersecurity"},{"key":"e_1_3_2_1_85_1","volume-title":"Mechanisms and generality in information security. Under review","author":"Spring J. M.","year":"2017","unstructured":"Spring , J. M. , and Illari , P . Mechanisms and generality in information security. Under review ( 2017 ). Spring, J. M., and Illari, P. Mechanisms and generality in information security. Under review (2017)."},{"key":"e_1_3_2_1_86_1","volume-title":"Sage","author":"Stake R. E.","year":"1995","unstructured":"Stake , R. E. The art of case study research . Sage , Thousand Oaks, CA , 1995 . Stake, R. E. The art of case study research. Sage, Thousand Oaks, CA, 1995."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-statistics-010814-020127"},{"key":"e_1_3_2_1_88_1","volume-title":"Dec 24","author":"The Economist","year":"2016","unstructured":"The Economist . The city of the century: How Vienna produced ideas that shaped the west , Dec 24 , 2016 . The Economist. The city of the century: How Vienna produced ideas that shaped the west, Dec 24, 2016."},{"key":"e_1_3_2_1_89_1","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Uebel T.","year":"2016","unstructured":"Uebel , T. Vienna circle . In The Stanford Encyclopedia of Philosophy , E. N. Zalta, Ed., spring 2016 ed. Metaphysics Research Lab, Stanford University , 2016. Uebel, T. Vienna circle. In The Stanford Encyclopedia of Philosophy, E. N. Zalta, Ed., spring 2016 ed. Metaphysics Research Lab, Stanford University, 2016."},{"key":"e_1_3_2_1_90_1","volume-title":"The Research Institute in Science of Cyber Security (RISCS). https:\/\/www.riscs.org.uk\/","author":"University College London.","year":"2017","unstructured":"University College London. The Research Institute in Science of Cyber Security (RISCS). https:\/\/www.riscs.org.uk\/ , 2017 . Accessed Mar 6, 2017. University College London. The Research Institute in Science of Cyber Security (RISCS). https:\/\/www.riscs.org.uk\/, 2017. Accessed Mar 6, 2017."},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362798"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.56021\/9780801839740"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837110.1837125"},{"key":"e_1_3_2_1_94_1","volume-title":"Jun 1","author":"Williamson J.","year":"2015","unstructured":"Williamson , J. Evaluating evidence in medicine. https:\/\/blogs.kent.ac.uk\/jonw\/projects\/evaluating-evidence-in-medicine\/ , Jun 1 , 2015 . Williamson, J. Evaluating evidence in medicine. https:\/\/blogs.kent.ac.uk\/jonw\/projects\/evaluating-evidence-in-medicine\/, Jun 1, 2015."},{"key":"e_1_3_2_1_95_1","volume-title":"Should vulnerability be actionable? Improving critical infrastructure Computer security with trade practices law. George Mason Univ. Critical Infrastructure Protection Project Papers","author":"Winn J. K.","year":"2004","unstructured":"Winn , J. K. Should vulnerability be actionable? Improving critical infrastructure Computer security with trade practices law. George Mason Univ. Critical Infrastructure Protection Project Papers Vol. II ( 2004 ). Winn, J. K. Should vulnerability be actionable? Improving critical infrastructure Computer security with trade practices law. George Mason Univ. Critical Infrastructure Protection Project Papers Vol. II (2004)."},{"key":"e_1_3_2_1_96_1","volume-title":"Making things happen: A theory of causal explanation","author":"Woodward J.","year":"2003","unstructured":"Woodward , J. Making things happen: A theory of causal explanation . Oxford University Press , Oxford, UK , 2003 . Woodward, J. Making things happen: A theory of causal explanation. Oxford University Press, Oxford, UK, 2003."}],"event":{"name":"NSPW '17: 2017 New Security Paradigms Workshop","location":"Santa Cruz CA USA","acronym":"NSPW '17","sponsor":["NSF National Science Foundation","ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 2017 New Security Paradigms Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3171533.3171540","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3171533.3171540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:53Z","timestamp":1750215773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3171533.3171540"}},"subtitle":["A Philosophy of Science Perspective"],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":92,"alternative-id":["10.1145\/3171533.3171540","10.1145\/3171533"],"URL":"https:\/\/doi.org\/10.1145\/3171533.3171540","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]},"assertion":[{"value":"2017-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}