Sciweavers

5119 search results - page 23 / 1024
» Security Privacy
Sort
View
CSFW
2008
IEEE
16 years 1 months ago
Tractable Enforcement of Declassification Policies
Gilles Barthe, Salvador Cavadini, Tamara Rezk
CSFW
2008
IEEE
16 years 1 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin