Sciweavers

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