Inria
/
Raweb 2006
Presentation of the Project SECSI
Logo Inria
SECSI
Sécurité des systèmes d'information
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
What is computer security? Do we need some?
Logic as a tool for assessing computer security
Enriching the Dolev-Yao model with algebraic theories
Linking cryptographic and formal approaches
Exotic models, protocols, properties
Models mixing probabilistic and non-deterministic choice
Application Domains
Introduction
Cryptographic Protocols
Static Analysis
Intrusion Detection
Software
Software Packages and Prototypes
PROUVÉ parser library
TACE: library of tree automata with constraints
SPORE: the Security Protocols Open Repository
Orchids
Csur
The H1 Tool Suite: h1, pl2tptp, auto2pl, pldet, plpurge, pl2gastex, tptpmorph, linauto, h1trace, h1logstrip, h1mc, h1mon, h1getlog
The ISpi cryptographic protocol analyzer
New Results
Tree Automata with Equational Constraints Modulo Equational Theories
Implicit Induction and Explicit Destructors for Security Protocols Verification
Towards a Generic Results
Verification of Protocols for AC-like Theories with Homomorphisms
Verification of Protocols for AC-like Theories with Distributive Encryption
Link between the formal and computational views of cryptography
Formal analysis of electronic voting protocols
Games, belief functions, previsions
Freeze operator and register automata
Modal logics with Presburger contraints
Sufficient Completeness
Decision of Confluence of Term Rewriting Systems
Dependency constraints in software distributions
Other Grants and Activities
Regional initiatives
National Initiatives
International initiatives
Visiting Scientists
Dissemination
Teaching
Scientific and Administrative Charges
Supervision, Advisorship
Participation to PhD or habilitation juries
Participation to conference program committees or journal editorial boards
Participation to symposia, seminars, invitations
Miscellaneous
Prizes
Bibliography
Publications of the year
References in notes