|
M\ouml;dersheim, Sebastian (to appear. An extended version is available as Technical Report no.~RZ3709, IBM Zurich Research Lab, 2008, \urldomino.research.ibm.com/library/cyberdig.nsf), "Algebraic Properties in Alice and Bob Notation", Proceedings of Ares 2009.
|
|
M\ouml;dersheim, Sebastian (to appear. An extended version is available as Technical Report no.~RZ3709, IBM Zurich Research Lab, 2008, \urldomino.research.ibm.com/library/cyberdig.nsf), "Algebraic Properties in Alice and Bob Notation", Proceedings of Ares 2009.
|
|
Mödersheim, Sebastian, Viganò, Luca and Basin, David (to appear), "Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols", Journal of Computer Security.
|
|
Balbiani, Philippe, Cheikh, Fahima, H\'eam, Pierre-Cyrille and Kouchnarenko, Olga (Being published), "Composition of Services with Constraints", Formal Aspects of Component Software, Electronic Notes in Theoretical Computer Science.
|
|
Balbiani, Philippe, Cheikh, Fahima and Feuillade, Guillaume (Being published), "Controller/orchestrator synthesis via filtration", Methods for Modalities, Electronic Notes in Theoretical Computer Science.
|
|
Balbiani, Philippe, Cheikh, Fahima, H\'eam, Pierre-Cyrille and Kouchnarenko, Olga (Being published), "Composition of Services with Constraints", Formal Aspects of Component Software, Electronic Notes in Theoretical Computer Science.
|
|
Balbiani, Philippe, Cheikh, Fahima and Feuillade, Guillaume (Being published), "Controller/orchestrator synthesis via filtration", Methods for Modalities, Electronic Notes in Theoretical Computer Science.
|
|
Groza, Bogdan and Minea, Marius (2010), "A formal approach for automated reasoning about off-line and undetectable on-line guessing (short paper)", Proceedings of the $14^th$ International Conference on Financial Cryptography and Data Security, LNCS.
|
|
Groza, Bogdan and Minea, Marius (2010), "A formal approach for automated reasoning about off-line and undetectable on-line guessing (short paper)", Proceedings of the $14^th$ International Conference on Financial Cryptography and Data Security, LNCS.
|
|
Armando, Alessandro, Carbone, Roberto and Compagna, Luca (2009 (to appear)), "LTL Model Checking for Security Protocols.", Journal of Applied Non-Classical Logics, special issue on "Logic and Information Security".
|
|
Armando, Alessandro, Carbone, Roberto and Compagna, Luca (2009 (to appear)), "LTL Model Checking for Security Protocols.", Journal of Applied Non-Classical Logics, special issue on "Logic and Information Security".
|
|
Mauw, S., Radomirović, S. and Dashti, M. Torabi (2009), "Minimal message complexity of asynchronous multi-party contract signing", Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF\'09): 13--25.
|
|
Chridi, Michael (2009), "Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists", Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF\'09): 277-289.
|
|
Dashti, Mohammad Torabi (2009), "Optimistic fair exchange using trusted devices", Proceedings of the 11th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2009).
|
|
Abdelnur, Radu (2009), "Abusing SIP authentication", Journal of Information Assurance and Security, 4, 4: 311-318.
|
|
Cheikh, Fahima (2009), "Composition de services: algorithmes et complexit\'e".
|
|
Balbiani, Philippe, Cheikh, Fahima and Feuillade, Guillaume (2009), "R\'esultats de complexit\'e pour le probl\`eme de la composition d'agents".
|
|
Chridi, Najah (2009), "Contributions la vrification automatique de protocoles de
groupes".
|
|
Anantharaman, Siva, Lin, Hai, Lynch, Christopher, Narendran, Paliath and Rusinowitch, Micha\"el (2009), "Unification Modulo Homomorphic Encryption", Frontiers of Combining Systems, 7th International Symposium,
FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, Lecture Notes in Computer Science, 5749.
|
|
Imine, Michael (2009), "A Flexible Access Control Model for Distributed Collaborative
Editors", Secure Data Management, 6th VLDB Workshop, SDM 2009, LNCS 5776: 89--106.
|
|
Masini, Andrea, Vigan\`o, Luca and Volpe, Marco (2009), "A Labeled Natural Deduction System for a Fragment of $\mathitCTL^*$", Proceedings of LFCS 2009, LNCS 5407: 338--353.
|
|
Arora, Charu and Turuani, Mathieu (2009), "Validating Integrity for the Ephemerizer's Protocol with CL-Atse": 21--32.
|
|
Barletta, Michele, Ranise, Silvio and Vigan\`o, Luca (2009), "Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures", Proceedings of the 2009 International Symposium on Secure Computing (SecureCom 2009), Volume 3 of 2009 International Conference
on Computational Science and Engineering (CSE 2009): 289--299.
|
|
M\"odersheim, Sebastian and Vigan\`o, Luca (2009), "Secure Pseudonymous Channels", Proceedings of Esorics'09, LNCS 5789: 337-354.
|
|
M\"odersheim, Sebastian and Vigan\`o, Luca (2009), "The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols", FOSAD 2008/2009, LNCS 5705: 166--194.
|
| |
|
Results 1 - 25 of 105 |
|
|
