208 search results - page 36 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
103
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Cloud Computing is an emerging technology promising new business opportunities and easy deployment of web services. Much has been written about the risks and benefits of cloud co...
CCGRID
2003
IEEE
15 years 2 months ago
2003
IEEE
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
ANCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....
104
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...