Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Derek, Ante"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compositional analysis of contract-signing protocols
Michael Backes
,
Anupam Datta
,
Ante Derek
,
John C. Mitchell
,
Mathieu Turuani
Theoretical Computer Science
367
(1-2), 2006, pp. 33-56
Probabilistic polynomial-time semantics for a protocol security logic
Anupam Datta
,
Ante Derek
,
John C. Mitchell
,
Vitaly Shmatikov
,
Mathieu Turuani
Lecture Notes in Computer Science
3580
, 2005, pp. 16-29