{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T04:04:21Z","timestamp":1744344261902,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642337031"},{"type":"electronic","value":"9783642337048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33704-8_12","type":"book-chapter","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T13:12:43Z","timestamp":1349788363000},"page":"130-145","source":"Crossref","is-referenced-by-count":1,"title":["Towards the Orchestration of Secured Services under Non-disclosure Policies"],"prefix":"10.1007","author":[{"given":"Tigran","family":"Avanesov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Chevalier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Turuani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2006.08.032","volume":"367","author":"M. Abadi","year":"2006","unstructured":"Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. Theoretical Computer Science\u00a0367(1-2), 2\u201332 (2006)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-28879-1_12","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"T. Avanesov","year":"2012","unstructured":"Avanesov, T., Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Web Services Verification and Prudent Implementation. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol.\u00a07122, pp. 173\u2013189. Springer, Heidelberg (2012)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Avanesov, T., Chevalier, Y., Rusinowitch, M., Turuani, M.: Satisfiability of general intruder constraints with and without a set constructor. CoRR, abs\/1103.0220 (2011)","DOI":"10.1109\/CRISIS.2010.5764919"},{"key":"12_CR4","unstructured":"Avanesov, T., Chevalier, Y., Rusinowitch, M., Turuani, M.: Intruder deducibility constraints with negation. Decidability and application to secured service compositions. INRIA Research Report (July 2012), http:\/\/hal.inria.fr\/hal-00719011"},{"key":"12_CR5","unstructured":"Automated Validation of Trust and Security of Service-Oriented Architectures, AVANTSSAR project, http:\/\/www.avantssar.eu"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Baudet, M.: Deciding security of protocols against off-line guessing attacks. In: Proceedings of CCS 2005 Conference, pp. 16\u201325. ACM (2005)","DOI":"10.1145\/1102120.1102125"},{"key":"12_CR7","first-page":"529","volume-title":"Proceedings of SERVICES I 2008","author":"Y. Chevalier","year":"2008","unstructured":"Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Automatic composition of services with security policies. In: Proceedings of SERVICES I 2008, SERVICES 2008. pp. 529\u2013537. IEEE, Washington, DC (2008)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Corin, R., Etalle, S., Saptawijaya, A.: A logic for constraint-based security protocol analysis. In: IEEE Symposium on Security and Privacy (S&P), Berkeley, California, USA, May 21-24, pp. 155\u2013168. IEEE Computer Society (2006)","DOI":"10.1109\/SP.2006.3"},{"issue":"3","key":"12_CR9","first-page":"231","volume":"57","author":"G. Costa","year":"2011","unstructured":"Costa, G., Degano, P., Martinelli, F.: Secure service orchestration in open networks. Journal of Systems Architecture - Embedded Systems Design\u00a057(3), 231\u2013239 (2011)","journal-title":"Journal of Systems Architecture - Embedded Systems Design"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-28756-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Armando","year":"2012","unstructured":"Armando, A., Arsac, W., Avanesov, T., Barletta, M., Calvi, A., Cappai, A., Carbone, R., Chevalier, Y., Compagna, L., Cu\u00e9llar, J., Erzse, G., Frau, S., Minea, M., M\u00f6dersheim, S., von Oheimb, D., Pellegrino, G., Ponta, S.E., Rocchetto, M., Rusinowitch, M., Torabi Dashti, M., Turuani, M., Vigan\u00f2, L.: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 267\u2013282. Springer, Heidelberg (2012)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Frau, S., Torabi Dashti, M.: Integrated specification and verification of security protocols and policies. In: 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, June 27-29, pp. 18\u201332 (2011)","DOI":"10.1109\/CSF.2011.9"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1093\/jigpal\/jzp077","volume":"18","author":"A. Herzig","year":"2010","unstructured":"Herzig, A., Lorini, E., H\u00fcbner, J.F., Vercouter, L.: A logic of trust and reputation. Logic Journal of IGPL\u00a018(1), 214\u2013244 (2010)","journal-title":"Logic Journal of IGPL"},{"key":"12_CR14","unstructured":"Kourjieh, M.: Logical Analysis and Verification of Cryptographic Protocols. Th\u00e8se de doctorat, Universit\u00e9 Paul Sabatier, Toulouse, France, (D\u00e9cembre 2009)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Kourjhler, D., Ksters, R., Truderung, T.: Infinite state amc-model checking for cryptographic protocols. In: Symposium on Logic in Computer Science, pp. 181\u2013192 (2007)","DOI":"10.1109\/LICS.2007.26"},{"key":"12_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-70525-3_6","volume-title":"Deontic Logic in Computer Science","author":"E. Lorini","year":"2008","unstructured":"Lorini, E., Demolombe, R.: Trust and Norms in the Context of Computer Security: A Logical Formalization. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 50\u201364. Springer, Heidelberg (2008)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Lynch, C., Meadows, C.: On the relative soundness of the free algebra model for public key encryption. In: Proceedings of the 2007 FCS-ARSPA Workshop. ENTCS, vol.\u00a0125, pp. 43\u201354 (2005), http:\/\/profs.sci.univr.it\/~vigano\/fcs-arspa07\/fcs-arspa07.pdf","DOI":"10.1016\/j.entcs.2004.05.018"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11494881_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Martinelli","year":"2005","unstructured":"Martinelli, F.: Towards an Integrated Formal Analysis for Security and Trust. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 115\u2013130. Springer, Heidelberg (2005)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1145\/151261.151265","volume":"40","author":"D.A. McAllester","year":"1993","unstructured":"McAllester, D.A.: Automatic recognition of tractability in inference relations. Journal of the ACM\u00a040, 284\u2013303 (1993)","journal-title":"Journal of the ACM"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/501983.502007","volume-title":"Proceedings of the 8th ACM Conference on Computer and Communications Security, CCS 2001","author":"J. Millen","year":"2001","unstructured":"Millen, J., Shmatikov, V.: Constraint solving for bounded-process cryptographic protocol analysis. In: Proceedings of the 8th ACM Conference on Computer and Communications Security, CCS 2001, pp. 166\u2013175. ACM, New York (2001)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Millen, J.K., Shmatikov, V.: Constraint solving for bounded-process cryptographic protocol analysis. In: Proceedings of the ACM Conference on Computer and Communications Security CCS 2001, pp. 166\u2013175 (2001)","DOI":"10.1145\/501983.502007"},{"key":"12_CR22","unstructured":"Network of Excellence on Engineering Secure Future Internet Software Services and Systems, NESSoS project, http:\/\/www.nessos-project.eu"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Rusinowitch, M., Turuani, M.: Protocol insecurity with finite number of sessions is NP-complete. In: Proceedings of CSFW 2001, pp. 174\u2013190. IEEE Computer Society Press (2001)","DOI":"10.1109\/CSFW.2001.930145"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse Protocol Analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-25271-6_2","volume-title":"Formal Methods for Components and Objects","author":"Y. Chevalier","year":"2011","unstructured":"Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Orchestration under Security Constraints. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 23\u201344. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Network Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33704-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T08:32:15Z","timestamp":1744273935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33704-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642337031","9783642337048"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33704-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}