956 search results - page 113 / 192 » A security framework for agent-based systems |
112
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
130
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
128
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Security breaches deter e-commerce activities. Organizations spend millions of dollars on security appliances to make online transactions more secure. Nonetheless, a new virus or ...