{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:18:28Z","timestamp":1743052708271,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194578"},{"type":"electronic","value":"9783319194585"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19458-5_9","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T11:41:14Z","timestamp":1431344474000},"page":"128-145","source":"Crossref","is-referenced-by-count":0,"title":["Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution"],"prefix":"10.1007","author":[{"given":"Sunil","family":"Chaudhary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linfeng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Berki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Helenius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juha","family":"Kela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markku","family":"Turunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Finwe Ltd.: Key2phone Mobile Access Solution, \n                        http:\/\/key2phone.com\/english_index.html\n                       (cited February 23, 2014)"},{"key":"9_CR2","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs, 2nd edn. John Wiley & Sons (2006) ISBN: 0470093552"},{"key":"9_CR3","unstructured":"Imperial College, London: FSP Notation, \n                        http:\/\/www.doc.ic.ac.uk\/~jnm\/LTSdocumention\/FSP-notation.html\n                       (cited February 23, 2014)"},{"key":"9_CR4","unstructured":"Labelled Transition System Analyser V3.0, \n                        http:\/\/www.doc.ic.ac.uk\/~jnm\/book\/ltsa\/LTSA_applet.html\n                       (cited February 23, 2014)"},{"key":"9_CR5","unstructured":"Sommerville, I.: Software Engineering: Dependability and Security Specification, 9th edn., pp. 309\u2013340. Pearson Education Inc. (2011) ISBN-13: 978-0-13-703515-1"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Magee, J., Maibaum, T.: Towards Specification, Modelling and Analysis of Fault Tolerance in Self Managed Systems. In: Proceedings of the International Workshop on Self-Adaptation and Self-Managing Systems, Shanghai, China, May 21-22, pp. 30\u201336 (2006), doi:10.1145\/1137677.1137684","DOI":"10.1145\/1137677.1137684"},{"key":"9_CR7","first-page":"88","volume":"34","author":"E. Kaisar","year":"2006","unstructured":"Kaisar, E., Austin, M., Papadimitriou, S.: Formal Development and Evaluation of Narrow Passageway System Operations. European Transport Trasporti Europei\u00a034, 88\u2013104 (2006)","journal-title":"European Transport Trasporti Europei"},{"key":"9_CR8","unstructured":"Orgi, U.J., Okwong, D.E.B., Etim, A.: Designing and Construction of Door Locking Security System Using GSM. IJECS\u00a02(7), 2235\u20132257 (2013) ISSN: 2319-7242"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Bauer, L., Cranor, L.F., Reiter, M.K., Vaniea, K.: Lessons Learned from the Deployment of a Smartphone-Based Access-Control System. In: Proceedings of Symposium on Usable Privacy and Security (SOUPS), Pittsburgh, PA, USA, July 18-20, pp. 64\u201375 (2007), doi:10.1145\/1280680.1280689","DOI":"10.1145\/1280680.1280689"},{"key":"9_CR10","unstructured":"Symantec Inc.: Bluetooth Security Review, \n                        http:\/\/www.symantec.com\/connect\/articles\/bluetooth-security-review-part-1\n                       (cited February 23, 2014)"},{"key":"9_CR11","unstructured":"Scarfone, K., Souppaya, M.: Guide to Enterprise Password Management: Recommendations of the National Institute of Standards and Technology. National Institute of Standard and Technology (NIST) Special Publication 800-118 (2009) \n                        http:\/\/csrc.nist.gov\/publications\/drafts\/800-118\/draft-sp800-118.pdf\n                       (cited February 3, 2014)"},{"key":"9_CR12","unstructured":"Scarfone, K., Padgette, J.: Guide to Bluetooth Security: Recommendations of the National Institute of Standards and Technology. NIST Special Publication 800-121 (2008), \n                        http:\/\/csrc.nist.gov\/publications\/drafts\/800-121r1\/Draft-SP800-121_Rev1.pdf\n                       (cited February 3, 2014)"},{"key":"9_CR13","unstructured":"National Security Agency (NSA): Bluetooth Security, \n                        http:\/\/www.nsa.gov\/ia\/_files\/factsheets\/i732-016r-07.pdf\n                       (cited February 2, 2014)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11814764_21","volume-title":"Ad-Hoc, Mobile, and Wireless Networks","author":"D. Singel\u00e9e","year":"2006","unstructured":"Singel\u00e9e, D., Preneel, B.: Improved pairing protocol for bluetooth. In: Kunz, T., Ravi, S.S. (eds.) ADHOC-NOW 2006. LNCS, vol.\u00a04104, pp. 252\u2013265. Springer, Heidelberg (2006)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Mustafa, H., Sadeghi, A.R., Schulz, S., Xu, W.: You Can Call But Can\u2019t Hide: Detecting Called ID Spoofing Attacks. In: The Proceedings of 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta Georgia USA, June 23-26 (2014)","DOI":"10.1109\/DSN.2014.102"},{"key":"9_CR16","unstructured":"Cryptome: Common Cryptographic Algorithms. Revision D.1 publication version. Report no. TR45.AHAG (2000), \n                        http:\/\/cryptome.org\/espy\/TR45-ccad1.pdf\n                       (cited January 4 2014)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Frantti, T., Savola, R., Hietalahti, H.: A Risk-Driven Security Analysis and Metrics Development for WSN-MCN Router. In: Proceedings of ICTC 2013, pp. 342\u2013347 (2013), doi:10.1109\/ICTC.2013.6675370","DOI":"10.1109\/ICTC.2013.6675370"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Bagnall, P.: Improving Visibility. ITNOW\u00a054(3), 30\u201332 (2012), doi:10.1093\/itnow\/bws063","DOI":"10.1093\/itnow\/bws073"},{"issue":"3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1023\/A:1011902718709","volume":"19","author":"M.A. Sasse","year":"2001","unstructured":"Sasse, M.A., Brostoff, S., Weirich, D.: Transforming the \u2018Weakest Link\u2019- A Human\/Computer Interaction Approach to Usable and Effective Security. BT Technology Journal\u00a019(3), 122\u2013131 (2001), doi:10.1023\/A:1011902718709","journal-title":"BT Technology Journal"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Niblett, G.: Securing the Human. ITNOW\u00a054(3), 25 (2012), doi: 10.1093\/itnow\/bws063","DOI":"10.1093\/itnow\/bws070"},{"key":"9_CR21","unstructured":"Whitten, A., Tygar, J.D.: Usability of Security: A Case Study. Carnegie Mellon University, CMU-CS-98-155 (1998), \n                        http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/1998\/abstracts\/98-155.html\n                       (cited February 2, 2014)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Schultz, E.E., Proctor, R.W., Lien, M.C., Salvendy, G.: Usability and Security an Appraisal of Usability Issues in Information Security. Computer & Security\u00a020(7), 620\u2013634 (2001) ISSN: 0167-4048\/01","DOI":"10.1016\/S0167-4048(01)00712-X"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Transactions on Software Engineering SE-26 (2000)","DOI":"10.1109\/32.825764"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Zafar, S., Dormey, R.G.: Integrating Safety and Security Requirements into Design of an Embedded System. In: The Proceedings of 12th Asia Pacific Software Engineering Conference, Taipei, Taiwan, December 15-17 (2005)","DOI":"10.1109\/APSEC.2005.75"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Flechais, I.: Integrating security and usability into the requirements and design process. Int. J. Electronic Security and Digital Forensics\u00a01(1) (2007)","DOI":"10.1504\/IJESDF.2007.013589"},{"key":"9_CR26","unstructured":"Graff, M.G., van Wyk, K.R.: Secure Coding Principles and Practices. O\u2019Reilly (June 2003) ISBN: 978-0-596-55601-3"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Martin, R.J., Mathur, A.P.: Software and Hardware Quality Assurance: Towards a Common Platform for High Reliability. In: Proceedings of IEEE International Conference on Communications 1990, Atlanta Georgia, USA, April 16-19, vol.\u00a04, pp. 1324\u20131328 (1990), doi:10.1109\/ICC.1990.117284","DOI":"10.1109\/ICC.1990.117284"},{"key":"9_CR28","unstructured":"Li, L., Berki, E., Helenius, M., Savola, R.: New Usability Metrices for Authentication Mechanisms. In: Proceedings of SQM 2012, Tampere, Finland, August 20-23, pp. 239\u2013250 (2012)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Bonneau, J., Herley, C., Oorschot, P.C., Stanjano, F.: A Quest to Replace Passwords: A Framework for Comparative Evaluation of Web Authentication Schemes. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 553\u2013567 (2012), doi:10.1109\/SP.2012.44(2012)","DOI":"10.1109\/SP.2012.44"},{"key":"9_CR30","unstructured":"Diller, A.: Z: An Introduction to Formal Methods, 2nd edn. John Wiley & Sons Ltd., Chichester (1994) ISBN: 978-0-471-93973-3"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Kainda, R., Flechais, I., Roscoe, A.W.: Security and Usability. In: Proceedings of ARES 2010, pp. 275\u2013282 (2010), doi:10.1109\/ARES.2010.77","DOI":"10.1109\/ARES.2010.77"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19458-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:50:48Z","timestamp":1676944248000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19458-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194578","9783319194585"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19458-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}