{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:07Z","timestamp":1725473107542},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_4","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"55-73","source":"Crossref","is-referenced-by-count":9,"title":["A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Beuster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bramwell, C.: Formal development methods for interactive systems: Combining interactors and design rationale (1996)"},{"key":"4_CR2","unstructured":"de Haan, G.: ETAG: A Formal Model of Competence Knowledge for User-Interface Design. PhD thesis, Vrije Universiteit, Amsterdam (2000)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Dierstein, R.: Sicherheit in der Informationstechnik: Der Begriff IT-Sicherheit. Informatik Spektrum\u00a027(4) (August 2004)","DOI":"10.1007\/s00287-004-0392-y"},{"issue":"6","key":"4_CR4","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1049\/sej.1996.0044","volume":"11","author":"A. Dix","year":"1996","unstructured":"Dix, A., Abowd, G.: Modelling status and event behaviour of interactive systems. Software Engineering Journal\u00a011(6), 334\u2013346 (1996)","journal-title":"Software Engineering Journal"},{"key":"4_CR5","first-page":"13","volume-title":"HCI 1985: People and Computers I: Designing the Interface","author":"A. Dix","year":"1985","unstructured":"Dix, A., Runciman, C.: Abstract models of interactive systems. In: Johnson, P., Cook, S. (eds.) HCI 1985: People and Computers I: Designing the Interface, pp. 13\u201322. Cambridge University Press, Cambridge (1985)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Doherty, G., Harrison, M.D.: A Representational Approach to the Specification of Presentations. In: Eurographics Workshop on Design Specification and Verification of Interactive Systems, DSVIS 1997, Granada, Spain (June 1997)","DOI":"10.1007\/978-3-7091-6878-3_18"},{"key":"4_CR7","unstructured":"Duke, D., Barnard, P., Duce, D., May, J.: Systematic development of the human interface (1995)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-58555-9_100","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"D.J. Duke","year":"1994","unstructured":"Duke, D.J., Harrison, M.D.: A Theory of Presentations. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 271\u2013290. Springer, Heidelberg (1994)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Hamilton, F.: Predictive evaluation using task knowledge structures. In: Companion Proceedings of CHI 1996, Vancouver, Canada (1996)","DOI":"10.1145\/257089.257312"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/235833.236054","volume":"3","author":"B.E. John","year":"1996","unstructured":"John, B.E., Kieras, D.E.: The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Transactions on Computer-Human Interaction\u00a03(4), 320\u2013351 (1996)","journal-title":"ACM Transactions on Computer-Human Interaction"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:37:08Z","timestamp":1619509028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11901433_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}