{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T07:40:02Z","timestamp":1746258002958,"version":"3.40.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319078687"},{"type":"electronic","value":"9783319078694"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07869-4_31","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T23:16:51Z","timestamp":1401923811000},"page":"335-342","source":"Crossref","is-referenced-by-count":1,"title":["Lightweight Formal Verification in Real World, A Case Study"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Atzeni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teodoro","family":"Montanaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"31_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0164-1212(97)00167-2","volume":"40","author":"S. Easterbrook","year":"1998","unstructured":"Easterbrook, S., Callahan, J.: Formal methods for verification and validation of partial specifications: A case study. Journal of Systems and Software\u00a040(3), 199\u2013210 (1998)","journal-title":"Journal of Systems and Software"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Mundra, P., Shukla, S., Sharma, M., Pai, R.M., Singh, S.: Modeling and Verification of Kerberos Protocol Using Symbolic Model Verifier. In: 2011 International Conference on Communication Systems and Network Technologies, pp. 651\u2013654. IEEE (June 2011)","DOI":"10.1109\/CSNT.2011.140"},{"key":"31_CR3","first-page":"259","volume-title":"Proceedings of the 21st International Conference Companion on World Wide Web - WWW 2012","author":"C. Fuhrhop","year":"2012","unstructured":"Fuhrhop, C., Lyle, J., Faily, S.: The webinos project. In: Proceedings of the 21st International Conference Companion on World Wide Web - WWW 2012, p. 259. ACM Press, New York (2012)"},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/2185376.2185383","volume":"42","author":"P. Zave","year":"2012","unstructured":"Zave, P.: Using lightweight modeling to understand chord. ACM SIGCOMM Computer Communication Review\u00a042(2), 49 (2012)","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-39979-7_16","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M. Taghdiri","year":"2003","unstructured":"Taghdiri, M., Jackson, D.: A lightweight formal analysis of a multicast key management scheme. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 240\u2013256. Springer, Heidelberg (2003)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Taghdiri, M.: Lightweight modelling and automatic analysis of multicast key management schemes. Master\u2019s thesis. MIT (2002)","DOI":"10.1007\/978-3-540-39979-7_16"},{"issue":"1","key":"31_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/32.663994","volume":"24","author":"S. Easterbrook","year":"1998","unstructured":"Easterbrook, S., Lutz, R., Covington, R., Kelly, J., Ampo, Y., Hamilton, D.: Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering\u00a024(1), 4\u201314 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-319-03077-7_10","volume-title":"Hardware and Software: Verification and Testing","author":"T. Su","year":"2013","unstructured":"Su, T., Lyle, J., Atzeni, A., Faily, S., Virji, H., Ntanos, C., Botsikas, C.: Continuous integration for web-based software infrastructures: Lessons learned on the webinos project. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol.\u00a08244, pp. 145\u2013150. Springer, Heidelberg (2013)"},{"key":"31_CR9","unstructured":"webinos group: webinos authentication system specifications (2012), http:\/\/www.webinos.org\/content\/html\/D033\/Authentication.htm"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1179529.1179532","volume-title":"Proceedings of the second ACM workshop on Digital identity management - DIM 2006","author":"D. Recordon","year":"2006","unstructured":"Recordon, D., Reed, D.: OpenID 2.0. In: Proceedings of the second ACM workshop on Digital identity management - DIM 2006, p. 11. ACM Press, New York (2006)"},{"key":"31_CR11","unstructured":"Hammer-Lahav, E.: The OAuth 1.0 Protocol (2010), http:\/\/tools.ietf.org\/html\/rfc5849"},{"key":"31_CR12","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A reimplementation of SMV. In: Proc. STTT 1998, pp. 25\u201331 (1998)"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-39200-9_18","volume-title":"Advances in Cryptology \u2013 EUROCRPYT 2003","author":"L. Ahn von","year":"2003","unstructured":"von Ahn, L., Blum, M., Hopper, N.J., Langford, J.: CAPTCHA: Using hard AI problems for security. In: Biham, E. (ed.) EUROCRYPT 2003. LNCS, vol.\u00a02656, pp. 294\u2013311. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Business Information Processing","Advanced Information Systems Engineering Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07869-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T07:04:12Z","timestamp":1746255852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07869-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319078687","9783319078694"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07869-4_31","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}