136 search results - page 8 / 28 » Automated Analysis of Permission-Based Security Using UMLsec |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
CSFW
2010
IEEE
13 years 12 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Security decision-making is hard for both humans and machines. This is because security decisions are context-dependent, require highly dynamic, specialized knowledge, and require...
TIM
2011
13 years 3 months ago
2011
—High-resolution automated fingerprint recognition systems (AFRSs) offer higher security because they are able to make use of level-3 features, such as pores, that are not avail...
CCS
2011
ACM
12 years 8 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...