162 search results - page 29 / 33 » Securing Email Archives through User Modeling |
FAC
2007
13 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
DRM
2006
Springer
13 years 11 months ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Automated trust negotiation is an approach which establishes trust between strangers through the bilateral, iterative disclosure of digital credentials. Sensitive credentials are ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...