Sciweavers

11065 search results - page 265 / 2213
» Education
Sort
View
CORR
2009
Springer
71views Education» more  CORR 2009»
15 years 5 months ago
Heuristic Methods for Security Protocols
Qurat ul Ain Nizamani, Emilio Tuosto
CORR
2009
Springer
84views Education» more  CORR 2009»
15 years 5 months ago
A User Model for Information Erasure
Filippo Del Tedesco, David Sands
CORR
2009
Springer
92views Education» more  CORR 2009»
15 years 5 months ago
Fair Exchange in Strand Spaces
Joshua D. Guttman
CORR
2009
Springer
79views Education» more  CORR 2009»
15 years 5 months ago
Characteristic Formulae for Fixed-Point Semantics: A General Framework
Luca Aceto, Anna Ingólfsdóttir, Josh...
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 5 months ago
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink