{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:51Z","timestamp":1750221291005,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3191714","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T12:12:40Z","timestamp":1530533560000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Confidentiality in the process of (model-driven) software development"],"prefix":"10.1145","author":[{"given":"Michael","family":"Johnson","sequence":"first","affiliation":[{"name":"Macquarie University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Howard Chivers and Richard F. Paige. 2009.  Howard Chivers and Richard F. Paige. 2009."},{"key":"e_1_3_2_1_2_1","unstructured":"XRound: A reversible template language and its application in model-based security analysis. Information &amp; Software Technology 51 5 (2009) 876\u2013893. 05.006 10.1016\/j.infsof.2008.05.006   XRound: A reversible template language and its application in model-based security analysis. Information &amp; Software Technology 51 5 (2009) 876\u2013893. 05.006 10.1016\/j.infsof.2008.05.006"},{"key":"e_1_3_2_1_3_1","unstructured":"Karen Clarke Gillian Hardstone and Mark Rouncefield (Eds.). 2006.  Karen Clarke Gillian Hardstone and Mark Rouncefield (Eds.). 2006."},{"key":"e_1_3_2_1_4_1","unstructured":"Trust in Technology: A Socio-Technical Perspective. Springer.  Trust in Technology: A Socio-Technical Perspective. Springer."},{"key":"e_1_3_2_1_5_1","unstructured":"Matthew Collins Michael Theis Randall Trzeciak Jeremy Strozer Jason Clark Daniel Costa Tracy Cassidy Michael Albrethsen and Andrew Moore. 2016.  Matthew Collins Michael Theis Randall Trzeciak Jeremy Strozer Jason Clark Daniel Costa Tracy Cassidy Michael Albrethsen and Andrew Moore. 2016."},{"volume-title":"Common Sense Guide to Mitigating Insider Threats","year":"2016","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Daniel Costa Matthew Collins Samuel J. Perl Michael Albrethsen George Silowash and Derrick Spooner. 2014.  Daniel Costa Matthew Collins Samuel J. Perl Michael Albrethsen George Silowash and Derrick Spooner. 2014."},{"volume":"1304","volume-title":"Ontology for Insider Threat Indicators: Development and Application. In STIDS (CEUR Workshop Proceedings)","author":"An","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","unstructured":"C.N.G Dampney and Michael Johnson. 2001.  C.N.G Dampney and Michael Johnson. 2001."},{"key":"e_1_3_2_1_10_1","unstructured":"Half-duplex Interoperations for Cooperating Information Systems. In Advances in Concurrent Engineering.  Half-duplex Interoperations for Cooperating Information Systems. In Advances in Concurrent Engineering."},{"key":"e_1_3_2_1_11_1","unstructured":"Thomas Degueule Beno\u00eet Combemale Arnaud Blouin Olivier Barais and Jean-Marc J\u00e9z\u00e9quel. 2017. Safe model polymorphism for flexible modeling. Computer Languages Systems &amp; Structures 49 (2017) 176\u2013195. 2016.09.001 10.1016\/j.cl.2016.09.001   Thomas Degueule Beno\u00eet Combemale Arnaud Blouin Olivier Barais and Jean-Marc J\u00e9z\u00e9quel. 2017. Safe model polymorphism for flexible modeling. Computer Languages Systems &amp; Structures 49 (2017) 176\u2013195. 2016.09.001 10.1016\/j.cl.2016.09.001"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.06.003"},{"key":"e_1_3_2_1_13_1","unstructured":"Siva Dorairaj and James Noble. 2013.  Siva Dorairaj and James Noble. 2013."},{"key":"e_1_3_2_1_14_1","unstructured":"Agile Software Development with Distributed Teams: Agility Distribution and Trust. In AGILE. IEEE Computer Society 1\u201310.  Agile Software Development with Distributed Teams: Agility Distribution and Trust. In AGILE. IEEE Computer Society 1\u201310."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.145"},{"key":"e_1_3_2_1_16_1","unstructured":"Eduardo Fern\u00e1ndez-Medina Jan J\u00fcrjens Juan Trujillo and Sushil Jajodia. 2009.  Eduardo Fern\u00e1ndez-Medina Jan J\u00fcrjens Juan Trujillo and Sushil Jajodia. 2009."},{"key":"e_1_3_2_1_17_1","unstructured":"Model-Driven Development for secure information systems. Information &amp; Software Technology 51 5 (2009) 809\u2013814. 05.010 10.1016\/j.infsof.2008.05.010   Model-Driven Development for secure information systems. Information &amp; Software Technology 51 5 (2009) 809\u2013814. 05.010 10.1016\/j.infsof.2008.05.010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_19_1","unstructured":"J. Nathan Foster Benjamin C. Pierce and Steve Zdancewic. 2009.  J. Nathan Foster Benjamin C. Pierce and Steve Zdancewic. 2009."},{"key":"e_1_3_2_1_20_1","unstructured":"Updatable Security Views. In CSF. IEEE Computer Society 60\u201374.  Updatable Security Views. In CSF. IEEE Computer Society 60\u201374."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1365-2575.2001.00108.x"},{"key":"e_1_3_2_1_22_1","unstructured":"Christopher George and Raymond Millien. 2015.  Christopher George and Raymond Millien. 2015."},{"key":"e_1_3_2_1_23_1","unstructured":"Protecting IP in an agile software development environment. IPWatchdog (December 2015). http:\/\/www. ipwatchdog.com\/2015\/12\/28\/protectingipagilesoftwaredevelopment\/id= 64171\/ Retrieved 17\/11\/17.  Protecting IP in an agile software development environment. IPWatchdog (December 2015). http:\/\/www. ipwatchdog.com\/2015\/12\/28\/protectingipagilesoftwaredevelopment\/id= 64171\/ Retrieved 17\/11\/17."},{"key":"e_1_3_2_1_24_1","unstructured":"Ponemon Institute. 2009.  Ponemon Institute. 2009."},{"key":"e_1_3_2_1_25_1","unstructured":"Data security in development and testing. https:\/\/www.microfocus.com\/media\/report\/ponemon-institute\u2014datasecur_tcm6-7227.pdf. (July 2009).  Data security in development and testing. https:\/\/www.microfocus.com\/media\/report\/ponemon-institute\u2014datasecur_tcm6-7227.pdf. (July 2009)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Samireh Jalali \u00c7igdem Gencel and Darja Smite. 2010. Trust dynamics in global software engineering. In ESEM. ACM. 10.1145\/1852786.1852817   Samireh Jalali \u00c7igdem Gencel and Darja Smite. 2010. Trust dynamics in global software engineering. In ESEM. ACM. 10.1145\/1852786.1852817","DOI":"10.1145\/1852786.1852817"},{"key":"e_1_3_2_1_27_1","first-page":"39","article-title":"Universal Updates for Symmetric Lenses","volume":"1827","author":"Johnson Michael","year":"2017","journal-title":"CEUR Proceedings"},{"key":"e_1_3_2_1_28_1","unstructured":"Michael Johnson and Robert Rosebrugh. 2018. Cospans and Symmetric Lenses. (2018).  Michael Johnson and Robert Rosebrugh. 2018. Cospans and Symmetric Lenses. (2018)."},{"key":"e_1_3_2_1_29_1","unstructured":"In this volume.  In this volume."},{"key":"e_1_3_2_1_30_1","unstructured":"Richard Kissel Kevin Stine Matthew Scholl Hart Rossman Jim Fahlsing and Jessica Gulick. 2008.  Richard Kissel Kevin Stine Matthew Scholl Hart Rossman Jim Fahlsing and Jessica Gulick. 2008."},{"key":"e_1_3_2_1_31_1","unstructured":"Security Considerations in the System Development Life Cycle. Technical Report Special Publication 800-64 Revision 2. NIST. https: \/\/csrc.nist.gov\/publications\/detail\/sp\/800- 64\/rev- 2\/final  Security Considerations in the System Development Life Cycle. Technical Report Special Publication 800-64 Revision 2. NIST. https: \/\/csrc.nist.gov\/publications\/detail\/sp\/800- 64\/rev- 2\/final"},{"key":"e_1_3_2_1_32_1","unstructured":"Orla McHugh Kieran Conboy and Michael Lang. 2012.  Orla McHugh Kieran Conboy and Michael Lang. 2012."},{"key":"#cr-split#-e_1_3_2_1_33_1.1","unstructured":"Agile Practices: The Impact on Trust in Software Project Teams. IEEE Software 29 3 (2012) 71-76. &lt;Programming'18&gt"},{"key":"#cr-split#-e_1_3_2_1_33_1.2","doi-asserted-by":"crossref","unstructured":"Companion April 9-12 2018 Nice France Michael Johnson and Perdita Stevens 10.1109\/MS.2011.118 Agile Practices: The Impact on Trust in Software Project Teams. IEEE Software 29 3 (2012) 71-76. &lt;Programming'18&gt","DOI":"10.1109\/MS.2011.118"},{"key":"#cr-split#-e_1_3_2_1_33_1.3","unstructured":"Companion April 9-12 2018 Nice France Michael Johnson and Perdita Stevens 10.1109\/MS.2011.118"},{"key":"e_1_3_2_1_34_1","unstructured":"Robert McMillan. 2010.  Robert McMillan. 2010."},{"key":"e_1_3_2_1_35_1","unstructured":"Barnaby Jack hits ATM jackpot at Black Hatx. ComputerWorld (July 2010). https:\/\/www.computerworld.com\/article\/2519671\/ computerhardware\/barnabyjackhitsatmjackpotatblackhat.html  Barnaby Jack hits ATM jackpot at Black Hatx. ComputerWorld (July 2010). https:\/\/www.computerworld.com\/article\/2519671\/ computerhardware\/barnabyjackhitsatmjackpotatblackhat.html"},{"key":"e_1_3_2_1_36_1","unstructured":"Vassilis Prevelakis and Diomidis Spinellis. 2007. The Athens Affair. IEEE Spectrum (June 2007). 10.1109\/MSPEC.2007.376605   Vassilis Prevelakis and Diomidis Spinellis. 2007. The Athens Affair. IEEE Spectrum (June 2007). 10.1109\/MSPEC.2007.376605"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.20"},{"key":"e_1_3_2_1_38_1","unstructured":"Ron Ross Michael McEvilley and Janet Carrier Oren. 2016.  Ron Ross Michael McEvilley and Janet Carrier Oren. 2016."},{"key":"e_1_3_2_1_39_1","unstructured":"Systems security engineering. Technical Report Special Publication 800-160. NIST. https:\/\/csrc.nist. gov\/publications\/detail\/sp\/800- 160\/final  Systems security engineering. Technical Report Special Publication 800-160. NIST. https:\/\/csrc.nist. gov\/publications\/detail\/sp\/800- 160\/final"},{"key":"e_1_3_2_1_40_1","unstructured":"Bret J. Stancil. {n. d.}. What To Look Out For In Software Development NDAs. https:\/\/www.toptal.com\/it\/what-to-look-out-for-in-software-developer-ndas. ({n. d.}). Retrieved 17\/11\/17.  Bret J. Stancil. {n. d.}. What To Look Out For In Software Development NDAs. https:\/\/www.toptal.com\/it\/what-to-look-out-for-in-software-developer-ndas. ({n. d.}). Retrieved 17\/11\/17."},{"key":"e_1_3_2_1_41_1","unstructured":"Perdita Stevens. {n. d.}. Wikipedia Translation v0.1 in Bx Examples Repository. http:\/\/bxcommunity.wikidot.com\/examples:home. ({n. d.}). Date retrieved: 26\/2\/18.  Perdita Stevens. {n. d.}. Wikipedia Translation v0.1 in Bx Examples Repository. http:\/\/bxcommunity.wikidot.com\/examples:home. ({n. d.}). Date retrieved: 26\/2\/18."},{"key":"e_1_3_2_1_42_1","unstructured":"Perdita Stevens. 2012.  Perdita Stevens. 2012."},{"key":"e_1_3_2_1_43_1","unstructured":"Observations relating to the equivalences induced on model sets by bidirectional transformations. EC-EASST 049 (2012).  Observations relating to the equivalences induced on model sets by bidirectional transformations. EC-EASST 049 (2012)."}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Nice France","acronym":"<Programming> 2018"},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191714","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3191714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:31Z","timestamp":1750212691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191714"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":45,"alternative-id":["10.1145\/3191697.3191714","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3191714","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}