|
Modersheim, Sebastian (to appear. An extended version is available as Technical Report no.RZ3709, IBM Zurich Research Lab, 2008, domino.research.ibm.com/library/cyberdig.nsf), "Algebraic Properties in Alice and Bob Notation", Proceedings of Ares 2009.
|
|
Modersheim, Sebastian, Viganò, Luca and Basin, David (2009 (to appear)), "Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols", Journal of Computer Security.
|
|
Masini, Andrea, Viganò, Luca and Volpe, Marco (2009), "A Labeled Natural Deduction System for a Fragment of CTL*", Proceedings of LFCS 2009, LNCS 5407: 338--353.
|
|
Bella, Giampaolo, Librizzi, Francesco and Riccobene, Salvatore (2008), "Realistic Threats to Self-Enforcing Privacy", Proceedings of the 4th International Symposium on Information Assurance and Security: 155--160.
|
|
Balbiani, Philippe, Cheikh, Fahima and Feuillade, Guillaume (2008), "Composition of Web services: algorithms and complexity".
|
|
Balbiani, Philippe, Cheikh, Fahima and Feuillade, Guillaume (2008), "Composition of Interactive Web Services Based on Controller Synthesis", Services - Part I, 2008. IEEE Congress on: 521-528.
|
|
Ghilardi, Silvio, Nicolini, Enrica, Ranise, Silvio and Zucchelli, Daniele (2008), "Towards SMT Model Checking of Array-based Systems", Proc. of the 6th International Workshop on Satisfiability Modulo Theories (SMT 08).
|
|
Basin, David, Caleiro, Carlos, Ramos, Jaime and Viganò, Luca (2008), "A Labeled Tableaux System for the Distributed Temporal Logic DTL", Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008): 101--109.
|
|
Armando, Alessandro, Carbone, Roberto, Compagna, Luca, Cuellar, Jorge and Abad, Llanos Tobarra (2008), "Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps", Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE 2008): 1--10.
|
|
Orzan, Simona and Dashti, Mohammad Torabi (2008), "Fair exchange is incomparable to consensus", Proceedings of the 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 08), lncs 5160: 349--363.
|
|
Abdelnur, Humberto, Avanesov, Tigran, Rusinowitch, Michael and State, Radu (2008), "Abusing SIP Authentication", Proceedings of the Fourth International Symposium on Information Assurance and Security (ISIAS 08) : 237-242 .
|
|
Chevalier, Yannick, Mekki, Mohammed Anis and Rusinowitch, Michael (2008), "Automatic Composition of Services with Security Policies", Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008): 529-537.
|
|
Balbiani, Philippe, Chevalier, Yannick and El Houri, Marwa (2008), "A Logical Approach to Dynamic Role-Based Access Control", Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, LNCS 5253: 194-208.
|
|
Chridi, Najah, Turuani, Mathieu and Rusinowitch, Michael (2008), "Towards a Constrained-based Verification of Parameterized Cryptographic Protocols", LOPSTR 2008: Logic-based Program Synthesis and Transformation.
|
|
Jacquemard, Florent and Rusinowitch, Michael (2008), "Closure of Hedge-Automata Languages by Hedge Rewriting", 19th International Conference on Rewriting Techniques and Applications - RTA 2008, LNCS 5117: 157-171.
|
|
Klay, Francis and Vigneron, Laurent (2008), "Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder", 5th International Workshop on Formal Aspects in Security and Trust (FAST): 165-180.
|
|
Bella, Giampaolo, Librizzi, Francesco and Riccobene, Salvatore (2008), "A Privacy Paradigm that Tradeoffs Anonymity and Trust", Proceedings of the 2008 International Conference on Software, Telecommunications and Computer Networks - SoftCOM 2008.
|
|
von Oheimb, David, Maidl, Monika and Robinson, Richard (2008), "Security Architecture and Formal Analysis of an Airplane Software Distribution System", Proceedings of the 26th Congress of the International Council of the Aeronautical Sciences (ICAS).
|
|
Maidl, Monika, von Oheimb, David, Hartmann, Peter and Robinson, Richard (2008), "Formal Security Analysis of Electronic Software Distribution Systems", Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 5219.
|
|
Ghilardi, Silvio, Ranise, Silvio and Valsecchi, Thomas (2008), "Light-Weight SMT-based Model Checking", Proc. of the 8th Int. Work. on Automated Verification of Critical Systems (AVOCS 08).
|
| |
|
Results 1 - 20 of 20 |
|
|
