Search - Archive ouverte HAL Access content directly

Filter your results

42 Results

4th International Workshop on First-Order Theorem Proving- FTP'2003

Ingo Dahn , Laurent Vigneron
Elsevier Science Publishers, 1 (1), 2003, Electronic Notes in Theoretical Computer Science
Books inria-00099513v1
Image document

Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder

Francis Klay , Laurent Vigneron
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
Conference papers inria-00376450v1

Strategy for Flaws Detection based on a Services-driven Model for Group Protocols

Laurent Vigneron , Najah Chridi
Frédéric Benhamou and Narendra Jussien and Barry O\'Sullivan. Future and Trends in Constraint Programming, ISTE, pp.361-370, 2007, 1905209975
Book sections inria-00176326v1

Abstract Congruence Closure

Leo Bachmair , Ashish Tiwari , Laurent Vigneron
Journal of Automated Reasoning, 2003, 31 (2), pp.129-168
Journal articles inria-00099511v1

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

Yannick Chevalier , Ralf Küsters , Michaël Rusinowitch , Mathieu Turuani , Laurent Vigneron et al.
Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Aug 2003, Vienna, Austria, pp.128-141
Conference papers inria-00099514v1

Rough Algebras & Automated Deduction

Anita Wasilewska , Laurent Vigneron
L. Polkowski & A. Skowron. Rough Sets in Knowledge Discovery, Springer Verlag, pp.261-275, 1998
Book sections inria-00098475v1

Automatic Verification of Security Protocols

Laurent Vigneron
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 2 p
Conference papers inria-00100032v1

Congruence Closure modulo Associativity-Commutativity

Leo Bachmair , I. V. Ramakrishnan , Ashish Tiwari , Laurent Vigneron
3rd International Workshop on Frontiers of Combining Systems - FroCoS'2000, Mar 2000, Nancy, France, pp.242-256
Conference papers inria-00099214v1
Image document

Proceedings of the 19th International Workshop on Unification

Laurent Vigneron
LORIA, A05-R-022 (A05-R-022), pp.143, 2005
Books inria-00000409v1

Rule-based Programs describing Internet Security Protocols

Yannick Chevalier , Laurent Vigneron
5th International Workshop on Rule-Based Programming - RULE'2004, Jun 2004, Aachen, Germany, pp.83-97
Conference papers inria-00099888v1
Image document

Tree automata with equality constraints modulo equational theories

Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron
Journal of Logic and Algebraic Programming, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
Journal articles inria-00329693v1
Image document

A Constraint-based Approach to Web Services Provisioning

Eric Monfroy , Olivier Perrin , Christophe Ringeissen , Laurent Vigneron
[Research Report] RR-7413, INRIA. 2010, pp.39
Reports inria-00524590v1
Image document

Study for Automatically Analysing Non-repudiation

Judson Santos Santiago , Laurent Vigneron
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
Conference papers inria-00000607v1

Towards Efficient Automated Verification of Security Protocols

Yannick Chevalier , Laurent Vigneron
Verification Workshop - VERIFY'01 (in connection with IJCAR'01), Jun 2001, Siena, Italy, 15 p
Conference papers inria-00101104v1

UML Modeling and Formal Verification of Secure Group Communication Protocols

Pierre de Saqui-Sannes , Thierry Villemur , Benjamin Fontan , Sara del Socorro Mota Gonzalez , Mohamed Salah Bouassida et al.
Second IEEE International workshop UML and Formal Methods - UML&FM'2009, 2009, Rio de Janeiro, Brazil
Conference papers hal-00447668v1
Image document

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Yannick Chevalier , Luca Compagna , Jorge Cuellar , Paul Hankes Drielsma , Jacopo Mantovani et al.
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
Conference papers inria-00099882v1
Image document

A Tool for Lazy Verification of Security Protocols

Yannick Chevalier , Laurent Vigneron
[Intern report] A01-R-140 || chevalier01b, 2001, 10 p
Reports inria-00107545v1
Image document

Déduction automatique avec contraintes symboliques dans les théories équationnelles

Laurent Vigneron
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10371⟩
Theses tel-01748621v1

Sécurité des communications de groupe

Najah Chridi , Laurent Vigneron
La Revue de l'électricité et de l'électronique, 2006, Risques et sécurité des réseaux et des systèmes à composante logicielle, 6/7, pp.51-60
Journal articles inria-00105523v1

Automatically Analysing Non-repudiation with Authentication

Judson Santos Santiago , Laurent Vigneron
3rd Taiwanese-French Conference on Information Technology - TFIT 06, Mar 2006, Nancy/France, pp.541-554
Conference papers inria-00105534v1

Automated Unbounded Verification of Security Protocols

Yannick Chevalier , Laurent Vigneron
14th International Conference on Computer Aided Verification - CAV'2002, 2002, Copenhaguen, Denmark, pp.324-337
Conference papers inria-00100916v1

The AVISS Security Protocol Analysis Tool

Alessandro Armando , David Basin , Mehdi Bouallagui , Yannick Chevalier , Luca Compagna et al.
14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353
Conference papers inria-00100915v1
Image document

Tree automata with equality constraints modulo equational theories

Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron
3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩
Conference papers inria-00579011v1
Image document

Rough Sets based Proofs Visualisation

Laurent Vigneron , Anita Wasilewska
18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS'99, invited session on Granular Computing and Rough Sets, 1999, New York, USA, pp.805-808
Conference papers inria-00098752v1

Rough Diagrams

Laurent Vigneron , Anita Wasilewska
6th International Workshop on Rough Sets, Data Mining & Granular Computing (RSDMGrC'98) at the 4th Joint Conference on Information Sciences, 1998, Research Triangle Park, NC, 4 p
Conference papers inria-00098493v1

Formal Verification of Secure Group Communication Protocols Modelled in UML

Pierre Saqui-Sannes , Thierry Villemur , Benjamin Fontan , Sara del Socorro Mota Gonzalez , Mohamed Salah Bouassida et al.
Innovations in Systems and Software Engineering, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
Journal articles inria-00594387v1

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis

Laurent Vigneron
Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France
Conference papers hal-00916581v1

Validation of Prouve Protocols using the Automatic Tool TA4SP

Yohan Boichut , Nikolai Kosmatov , Laurent Vigneron
3rd Taiwanese-French Conference on Information Technology, Mar 2006, Nancy/France, pp.467-480
Conference papers inria-00105533v1
Image document

Automatic Verification of Key Management Architecture for Hierarchical Group Protocols

Mohamed Salah Bouassida , Najah Chridi , Isabelle Chrisment , Olivier Festor , Laurent Vigneron et al.
Sécurité et Architecture des Réseaux - SAR 2006, May 2006, Seignosse/France, pp.381-397
Conference papers inria-00090165v1

Strategy for Verifying Security Protocols with Unbounded Message Size

Yannick Chevalier , Laurent Vigneron
Automated Software Engineering, 2004, 11 (2), pp.141-166. ⟨10.1023/B:AUSE.0000017741.10347.9b⟩
Journal articles inria-00099945v1