136 search results - page 12 / 28 » Automated Analysis of Permission-Based Security Using UMLsec |
CN
2007
13 years 8 months ago
2007
Worms are self-replicating malicious programs that represent a major security threat for the Internet, as they can infect and damage a large number of vulnerable hosts at timescal...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
EIT
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...