{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T15:09:25Z","timestamp":1744902565230},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/tse.2014.2302433","type":"journal-article","created":{"date-parts":[[2014,3,4]],"date-time":"2014-03-04T19:02:40Z","timestamp":1393959760000},"page":"154-166","source":"Crossref","is-referenced-by-count":7,"title":["Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes"],"prefix":"10.1109","volume":"40","author":[{"given":"Michael A.","family":"Schumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Drusinsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James B.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duminda","family":"Wijesekera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2012"},{"key":"ref38","author":"rumbaugh","year":"1991","journal-title":"Object-Oriented Modeling and Design"},{"key":"ref33","author":"ryan","year":"2000","journal-title":"Modelling and Analysis of Security Protocols"},{"key":"ref32","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref31","author":"schumann","year":"2012","journal-title":"Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.54"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-010-0026-2"},{"key":"ref36","first-page":"372","article-title":"Verification of EPCs: Using Reduction Rules and Petri Nets","author":"van dongen","year":"2005","journal-title":"Proc 17th Int?l Conf Advanced Information Systems Eng"},{"key":"ref35","author":"van der aalst","year":"2004","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2091954"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2002.1137700"},{"key":"ref40","article-title":"Yakindu","author":"muelder","year":"2011"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.08.003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IITA.2008.68"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","article-title":"A Process Semantics for BPMN","author":"wong","year":"2008","journal-title":"Proc 10th Int?l Conf Formal Methods Software Eng"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20112"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2010.39"},{"key":"ref16","author":"alegr\ufffda","year":"2010","journal-title":"AVISPA Localizing Improvement Opportunities in Software Process Models"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/1987875.1987882","article-title":"Analyzing Software Process Models with AVISPA","author":"alegr\ufffda","year":"2011","journal-title":"Proc Int?l Conf Software and Systems Processing"},{"key":"ref18","author":"bishop","year":"2002","journal-title":"Computer Security Art and Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0042-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.151"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_45"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-4223-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1991.213063"},{"key":"ref29","author":"bruegge","year":"2004","journal-title":"Object-Oriented Software Engineering Using UML Patterns and Java"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0043-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1996.517693"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.1992.200150"},{"key":"ref2","author":"drusinsky","year":"2006","journal-title":"Modeling and Verification Using UML Statecharts A Working Guide to Reactive System Design Runtime Monitoring and Execution-Based Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1670(199706)3:2<105::AID-SPIP70>3.0.CO;2-E"},{"key":"ref1","author":"webster","year":"1983","journal-title":"Webster s New Universal Unabridged Dictionary"},{"key":"ref20","first-page":"55","article-title":"Modeling Workflow Process Models with Statechart","author":"dong","year":"2003","journal-title":"Proc IEEE 10th Int?l Conf Workshop Eng Computer-Based Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2008.4724143"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.12"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.2000.891363"},{"key":"ref24","author":"sipser","year":"1997","journal-title":"Introduction to the Theory of Computation"},{"key":"ref41","first-page":"26","article-title":"A Statechart Model of the Cross Domain Implementation Process","volume":"12","author":"schumann","year":"2009","journal-title":"Information Assurance Technology Analysis Center"},{"key":"ref23","author":"drusinsky","year":"2011","journal-title":"Practical UML Based Specification Validation and Verification of Mission Critical Software"},{"key":"ref44","article-title":"Statechart Based Formal Modeling of Workflow Processes","author":"schumann","year":"2009","journal-title":"Proc of the IEEE Int Conf on System of Systems Engineering"},{"key":"ref26","author":"kelley","year":"1995","journal-title":"Automata and Formal Languages An Introduction"},{"key":"ref43","year":"2012"},{"key":"ref25","author":"hopcroft","year":"2007","journal-title":"Introduction to Automata Theory Languages and Computation"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/6755497\/06727512.pdf?arnumber=6727512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T22:54:45Z","timestamp":1689029685000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6727512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2302433","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]}}}