{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T07:12:10Z","timestamp":1777187530036,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642252709","type":"print"},{"value":"9783642252716","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25271-6_1","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T20:56:11Z","timestamp":1323896171000},"page":"1-22","source":"Crossref","is-referenced-by-count":19,"title":["ASLan++ \u2014 A Formal Security Specification Language for Distributed Systems"],"prefix":"10.1007","author":[{"given":"David","family":"von Oheimb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"M\u00f6dersheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., Basin, D. A., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Drielsma, P.H., He\u00e1m, P.-C., Kouchnarenko, O., Mantovani, J., M\u00f6dersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Vigan\u00f2, L., Vigneron, L.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Armando, A., Carbone, R., Compagna, L.: LTL Model Checking for Security Protocols. Journal of Applied Non-Classical Logics, special issue on Logic and Information Security, 403\u2013429 (2009)","DOI":"10.3166\/jancl.19.403-429"},{"key":"1_CR3","unstructured":"AVANTSSAR. Deliverable 5.3: AVANTSSAR Library of validated problem cases (2010), http:\/\/www.avantssar.eu"},{"key":"1_CR4","unstructured":"AVANTSSAR. Deliverable 2.3 (update): ASLan++ specification and tutorial (2011), http:\/\/www.avantssar.eu"},{"key":"1_CR5","unstructured":"AVISPA Project, http:\/\/www.avispa-project.org"},{"key":"1_CR6","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Security Policy Assertion Language (SecPAL), http:\/\/research.microsoft.com\/en-us\/projects\/SecPAL\/"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-30101-1_9","volume-title":"Formal Methods for Components and Objects","author":"K. Bhargavan","year":"2004","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Pucella, R.: TulaFale: A security tool for web services. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 197\u2013222. Springer, Heidelberg (2004)"},{"key":"1_CR8","first-page":"82","volume-title":"Proceedings of CSFW 2001","author":"B. Blanchet","year":"2001","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Proceedings of CSFW 2001, pp. 82\u201396. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"1_CR10","unstructured":"Chevalier, Y., Compagna, L., Cu\u00e9llar, J., Hankes Drielsma, P., Mantovani, J., M\u00f6dersheim, S., Vigneron, L.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In: Automated Software Engineering. Proc. SAPS 2004 Workshop, pp. 193\u2013205. Austrian Computer Society (2004)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Ciob\u00e2ca, S., Cortier, V.: Protocol composition for arbitrary primitives. In: Proceedings of CSF, pp. 322\u2013336 (2010)","DOI":"10.1109\/CSF.2010.29"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Comon-Lundh, H., Cortier, V.: New decidability results for fragments of first-order logic and application to cryptographic protocols. Technical Report LSV-03-3, Laboratoire Specification and Verification, ENS de Cachan, France (2003)","DOI":"10.1007\/3-540-44881-0_12"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"C. Cremers","year":"2008","unstructured":"Cremers, C.: The scyther tool: Verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 414\u2013418. Springer, Heidelberg (2008)"},{"issue":"5","key":"1_CR14","first-page":"315","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE TSE\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE TSE"},{"key":"1_CR15","unstructured":"Durgin, N., Lincoln, P., Mitchell, J., Scedrov, A.: Undecidability of bounded security protocols. In: Proceedings of the Workshop on Formal Methods and Security Protocols (1999)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: Maude-npa: Cryptographic protocol analysis modulo equational properties. In: FOSAD, pp. 1\u201350 (2007)","DOI":"10.1007\/978-3-642-03829-7_1"},{"key":"1_CR17","unstructured":"Gao, H., Nielson, F., Nielson, H.R.: Protocol stacks for services. In: Proc. of the Workshop on Foundations of Computer Security, FCS (July 2009)"},{"key":"1_CR18","unstructured":"Gurevich, Y., Neeman, I.: Distributed-Knowledge Authorization Language (DKAL), http:\/\/research.microsoft.com\/~gurevich\/DKAL.htm"},{"key":"1_CR19","volume-title":"Proceedings of 17th CCS","author":"S. M\u00f6dersheim","year":"2010","unstructured":"M\u00f6dersheim, S.: Abstraction by Set-Membership\u2014Verifying Security Protocols and Web Services with Databases. In: Proceedings of 17th CCS. ACM Press, New York (2010)"},{"key":"1_CR20","series-title":"LNCS","first-page":"166","volume-title":"Fosad 2007-2008-2009","author":"S. M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: The Open-source Fixed-point Model Checker for Symbolic Analysis of Security Protocols. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) Fosad 2007-2008-2009. LNCS, vol.\u00a05705, pp. 166\u2013194. Springer, Heidelberg (2009)"},{"key":"1_CR21","first-page":"174","volume-title":"CSFW","author":"M. Rusinowitch","year":"2001","unstructured":"Rusinowitch, M., Turuani, M.: Protocol insecurity with finite number of sessions is NP-complete. In: CSFW, p. 174. IEEE Computer Society, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25271-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:29:06Z","timestamp":1561058946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25271-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252709","9783642252716"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25271-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}