{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:22:27Z","timestamp":1743002547303,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309345"},{"type":"electronic","value":"9783540320999"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11602897_11","type":"book-chapter","created":{"date-parts":[[2005,11,17]],"date-time":"2005-11-17T10:31:17Z","timestamp":1132223477000},"page":"123-135","source":"Crossref","is-referenced-by-count":0,"title":["Admissible Interference by Typing for Cryptographic Protocols"],"prefix":"10.1007","author":[{"given":"Alaaeddine","family":"Fellah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mullins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"187","volume-title":"Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW 2004)","author":"C. Piazza","year":"2004","unstructured":"Piazza, C., Bossi, A., Rossi, S.: Modelling downgrading in information flow security. In: Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW 2004), p. 187. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR2","unstructured":"Sabelfeld, A., Myers, A.C., Zdancewic, S.: Enforcing robust declassification. In: Proceedings of the 17th IEEE Computer Security Foundations Workshop, June 2004, pp. 172\u2013186 (2004)"},{"key":"11_CR3","volume-title":"Proceedings of the Fourth ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. In: Proceedings of the Fourth ACM Conference on Computer and Communications Security, April 1997. ACM Press, New York (1997)"},{"issue":"5","key":"11_CR4","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46","author":"M. Abadi","year":"1999","unstructured":"Abadi, M.: Secrecy by typing in security protocols. J. ACM\u00a046(5), 749\u2013786 (1999)","journal-title":"J. ACM"},{"key":"11_CR5","unstructured":"Bella, G.: Inductive Verification of Cryptographic Protocols. PhD thesis, University of Cambridge (March 2000)"},{"key":"11_CR6","unstructured":"Boudol, G.: Asynchrony and the \u03c0-calulus. Technical report, INRIA-Sophia Antipolis (1992)"},{"key":"11_CR7","unstructured":"Butty\u00e1n, L.: Formal methods in the design of cryptographic protocols. Technical Report SSC\/1999\/038, Institute for computer Communications and Applications (November 1999)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/CSFW.1994.315934","volume-title":"Proceedings of the IEEE Computer Security Foundations Workshop VII, Franconia","author":"U. Carlsen","year":"1994","unstructured":"Carlsen, U.: Cryptographic Protocol Flaws. In: Proceedings of the IEEE Computer Security Foundations Workshop VII, Franconia, June 1994, pp. 192\u2013200. IEEE, Los Alamitos (1994)"},{"key":"11_CR9","unstructured":"Conchon, S.: Modular information flow analysis for process calculi. In: Proc. of Foundations of Computer Security, pp. 23\u201334 (2002)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design","author":"R. Focardi","year":"2001","unstructured":"Focardi, R., Gorrieri, R.: Classification of Security Properties (Part I: Information Flow). In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 331\u2013396. Springer, Heidelberg (2001)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/964001.964017","volume-title":"POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"R. Giacobazzi","year":"2004","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 186\u2013197. ACM Press, New York (2004)"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Proceedings of the 1982 IEEE Symposium on Research in Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proceedings of the 1982 IEEE Symposium on Research in Security and Privacy, April 1982, pp. 11\u201320. IEEE press, Los Alamitos (1982)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: The Security Picalculus and Non-interference. Journal of Logic and Algebraic Programming (2003) (to appear)","DOI":"10.1016\/S1571-0661(03)50006-8"},{"issue":"5","key":"11_CR14","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/570886.570890","volume":"24","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous \u03c0-calculus. ACM Transactions on Programming Languages and Systems\u00a024(5), 566\u2013591 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR15","first-page":"21","volume-title":"Proceedings of the ECOOP 1991 Workshop on Object-Based Concurrent Computing","author":"K. Honda","year":"1992","unstructured":"Honda, K., Tokoro, M.: On asynchronous communication semantics. In: Proceedings of the ECOOP 1991 Workshop on Object-Based Concurrent Computing, vol.\u00a0612, pp. 21\u201351. Springer, Heidelberg (1992)"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/565816.503281","volume":"37","author":"K. Honda","year":"2002","unstructured":"Honda, K., Yoshida, N.: A Uniform Type Structure for Secure Information Flow. ACM SIGPLAN Notices\u00a037(1), 81\u201392 (2002)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR17","volume-title":"Electronic Notes in Theoretical Computer Science","author":"S. Lafrance","year":"2002","unstructured":"Lafrance, S., Mullins, J.: Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. In: Harland, J. (ed.) Electronic Notes in Theoretical Computer Science, vol.\u00a061. Elsevier Science Publishers, Amsterdam (2002)"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/s10009-002-0100-7","volume":"4","author":"M. Mejri","year":"2003","unstructured":"Mejri, M., Debbabi, M., Durgin, N.A., Mitchell, J.C.: Security by typing. International Journal on Software Tools for Technology Transfer\u00a04(4), 472\u2013495 (2003)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Meadows, C.: Formal methods for cryptographic protocol analysis: emerging issues and trends (2003)","DOI":"10.21236\/ADA465281"},{"key":"11_CR20","unstructured":"Mejri, M.: From type theory to the verification of security protocols. PhD thesis, Laval University (February 2001)"},{"issue":"11","key":"11_CR21","first-page":"1054","volume":"6","author":"J. Mullins","year":"2000","unstructured":"Mullins, J.: Nondeterministic Admissible Interference. Journal of Universal Computer Science\u00a06(11), 1054\u20131070 (2000)","journal-title":"Journal of Universal Computer Science"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications\u00a021(1) (2003)","DOI":"10.1109\/JSAC.2002.806121"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11602897_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T13:32:23Z","timestamp":1683293543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11602897_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309345","9783540320999"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11602897_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}