Sciweavers

5119 search results - page 13 / 1024
» Security Privacy
Sort
View
CRITIS
2006
15 years 10 months ago
A Framework for Secure and Verifiable Logging in Public Communication Networks
Vassilios Stathopoulos, Panayiotis Kotzanikolaou, ...
147
Voted
ESORICS
2000
Springer
15 years 10 months ago
Analysing Time Dependent Security Properties in CSP Using PVS
Neil Evans, Steve Schneider