Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Satisfiability of general intruder constraints with a set constructor
Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael et al.
2010In CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010.
Peer reviewed
 

Files


Full Text
crisis2010_submission_11.pdf
Author preprint (446.52 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable-origination. In this work we relax these restrictions by giving an NP decision procedure for solving general intruder constraints (that do not have these properties). Our result extends a first work by L. Mazaré in several directions: we allow non-atomic keys, and an associative, commutative and idempotent symbol (for modeling sets). We also give several new applications of the result.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-442
Author, co-author :
Avanesov, Tigran ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Chevalier, Yannick
Rusinowitch, Michael
Turuani, Mathieu
Language :
English
Title :
Satisfiability of general intruder constraints with a set constructor
Publication date :
2010
Event name :
CRiSIS 2010
Event place :
Montreal, QC, Canada
Event date :
October 10-13, 2010
Main work title :
CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010.
Publisher :
IEEE
ISBN/EAN :
978-1-4244-8641-0
Pages :
1-8
Peer reviewed :
Peer reviewed
Commentary :
Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS 2010)
Available on ORBilu :
since 12 July 2013

Statistics


Number of views
65 (4 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu