Deciding knowledge in security protocols under some e-voting theories (English)
Free access
- New search for: Berrima, Mouhebeddine
- New search for: Ben Rajeb, Narjes
- New search for: Cortier, Véronique
- New search for: Berrima, Mouhebeddine
- New search for: Ben Rajeb, Narjes
- New search for: Cortier, Véronique
In:
RAIRO - Theoretical Informatics and Applications
;
45
, 3
;
269-299
;
2011
- Article (Journal) / Electronic Resource
-
Title:Deciding knowledge in security protocols under some e-voting theories
-
Contributors:
-
Published in:RAIRO - Theoretical Informatics and Applications ; 45, 3 ; 269-299
-
Publisher:
- New search for: EDP Sciences
-
Publication date:2011-07-01
-
Size:31 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 68Q85
- Further information on Mathematics Subject Classification
-
Keywords:
-
Classification:
MSC: 68Q85 -
Source:
Table of contents – Volume 45, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 269
-
Deciding knowledge in security protocols under some e-voting theoriesBerrima, Mouhebeddine / Ben Rajeb, Narjes / Cortier, Véronique et al. | 2011
- 301
-
The Fibonacci automorphism of free Burnside groupsPahlevanyan, Ashot S. et al. | 2011
- 311
-
Locally catenative sequences and Turtle graphicsKarhumäki, Juhani / Puzynina, Svetlana et al. | 2011
- 331
-
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximationCerioli, Marcia R. / Faria, Luerbio / Ferreira, Talita O. / Protti, Fábio et al. | 2011
- 347
-
Construction of tree automata from regular expressionsKuske, Dietrich / Meinecke, Ingmar et al. | 2011