Sciweavers

27119 search results - page 176 / 5424
» Languages
Sort
View
328
Voted
ADT
2011
15 years 2 months ago
All-optical multipoint-to-point routing in WDM mesh networks
Fen Zhou, Miklós Molnár, Bernard Cou...
109
Voted
IFIP
2010
Springer
15 years 1 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti
118
Voted
IFIP
2010
Springer
15 years 1 months ago
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction
Clément Hurlin, Hélène Kirchn...
IFIP
2010
Springer
15 years 1 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi