136 search results - page 10 / 28 » Automated Analysis of Permission-Based Security Using UMLsec |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...
CSREASAM
2009
13 years 10 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
ASPLOS
2011
ACM
13 years 11 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...