{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:11Z","timestamp":1725490151060},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_8","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:24:00Z","timestamp":1188296640000},"page":"108-122","source":"Crossref","is-referenced-by-count":8,"title":["Soft Constraints for Security Protocol Analysis: Confidentiality"],"prefix":"10.1007","author":[{"given":"Giampaolo","family":"Bella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Bistarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and R. M. Needham. Prudent Engineering Practice for Cryptographic Protocols. IEEE Transactions on Software Engineering, 22(1):6\u201315, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR2","unstructured":"G. Bella. Modelling Security Protocols Based on Smart Cards. In Proc. of the International Workshop on Cryptographic Techniques & E-Commerce (CrypTEC\u201999), pages 139\u2013146. City University of Hong Kong, 1999."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison. In Over-Constrained Systems. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61479-6_19"},{"key":"8_CR4","unstructured":"S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based csps and valued csps: Frameworks, properties, and comparison. CONSTRAINTS: An international journal. Kluwer, 4(3), 1999."},{"key":"8_CR5","unstructured":"S. Bistarelli. Soft Constraint Solving and programming: a general framework. PhD thesis, Dipartimento di Informatica, 2001."},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Formal Verification of Cardholder Registration in SET","author":"G. Bella","year":"2000","unstructured":"G. Bella, F. Massacci, L. C. Paulson, and P. Tramontano. Formal Verification of Cardholder Registration in SET. In Proc. of European Symposium on Research in Computer Security (ESORICS 2000), LNCS. Springer-Verlag, 2000. In press."},{"key":"8_CR7","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Constraint Solving over Semirings. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI\u201995). Morgan Kaufman, 1995."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, pages 201\u2013236, 1997.","DOI":"10.1145\/256303.256306"},{"key":"8_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BFb0055875","volume-title":"Kerberos Version IV: Inductive Analysis of the Secrecy Goals","author":"G. Bella","year":"1998","unstructured":"G. Bella and L. C. Paulson. Kerberos Version IV: Inductive Analysis of the Secrecy Goals. In Proc. of European Symposium on Research in Computer Security (ESORICS\u201998), volume 1485 of LNCS, pages 361\u2013375. Springer-Verlag, 1998."},{"issue":"12","key":"8_CR10","first-page":"1337","volume":"3","author":"G. Bella","year":"1997","unstructured":"G. Bella and E. Riccobene. Formal Analysis of the Kerberos Authentication System. Journal of Universal Computer Science, 3(12):1337\u20131381, 1997.","journal-title":"Journal of Universal Computer Science"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"D. Dubois, H. Fargier, and H. Prade. The Calculus of Fuzzy Restrictions as a Basis for Flexible Constraint Satisfaction. In Proc. of IEEE International Conference on Fuzzy Systems, pages 1131\u20131136. IEEE Press, 1993.","DOI":"10.1109\/FUZZY.1993.327356"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"H. Fargier and J. Lang. Uncertainty in Constraint Satisfaction Problems: a Probabilistic Approach. In Proc. of European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU), pages 97\u2013104. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0028188"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"E. C. Freuder and R. J. Wallace. Partial constraint satisfaction. AI Journal, 1992.","DOI":"10.1016\/0004-3702(92)90004-H"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G. Lowe","year":"1995","unstructured":"G. Lowe. An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Information Processing Letters, 56(3):131\u2013133, 1995.","journal-title":"Information Processing Letters"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"G. Lowe. Some New Attacks upon Security Protocols. In In Proc. of Computer Security Foundations Workshop (CSFW96), pages 139\u2013146. IEEE Press, 1996.","DOI":"10.1109\/CSFW.1996.503701"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"G. Lowe and B. Roscoe. Using CSP to Detect Errors in the TMN Protocol. IEEE Transactions on Software Engineering, 3(10), 1997.","DOI":"10.1109\/32.637148"},{"key":"8_CR17","unstructured":"A. K. Mackworth. Constraint Satisfaction. In Encyclopedia of AI (second edition), pages 285\u2013293. John Wiley & Sons, 1992."},{"issue":"12","key":"8_CR18","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. M. Needham","year":"1978","unstructured":"R. M. Needham and M. D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, 21(12):993\u2013999, 1978.","journal-title":"Communications of the ACM"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L. C. Paulson","year":"1998","unstructured":"L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6:85\u2013128, 1998.","journal-title":"Journal of Computer Security"},{"key":"8_CR20","unstructured":"CHE AUTORE METTIAMO QUI? Data Encryption Standard. National Bureau of Standards, Jan 1977. Federal Information Processing Standards Publications, FIPS Pub. 46."},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"R. Rivest","year":"1976","unstructured":"R. Rivest, A. Shamir, and L. Adleman. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Communications of the ACM, 21(2):120\u2013126, 1976.","journal-title":"Communications of the ACM"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Zs. Ruttkay. Fuzzy Constraint Satisfaction. In Proc. of 3rd IEEE International Conference on Fuzzy Systems, pages 1263\u20131268, 1994.","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"8_CR23","unstructured":"V.A. Saraswat. Concurrent constraint programming language. PhDthesis, Carnegie-Mellon University, 1989."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"T. Schiex. Possibilistic Constraint Satisfaction Problems, or \u201cHow to Handle Soft Constraints?\u201d. In Proc. of 8th Conference on Uncertainty in AI, pages 269\u2013275, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50041-4"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"D. S. Scott. Domains for denotational semantics. In Proc. ICALP. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012801"},{"key":"8_CR26","unstructured":"T. Schiex, H. Fargier, and G. Verfaille. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI\u201995), pages 631\u2013637. Morgan Kaufmann, 1995."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"M. Wallace. Practical Applications of Constraint Programming. Constraints: An International Journal, 1996.","DOI":"10.1007\/BF00143881"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T01:12:09Z","timestamp":1587863529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}