136 search results - page 1 / 28 » Automated Analysis of Permission-Based Security Using UMLsec |
163
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
112
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
127
Voted
BCS
2008
15 years 2 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
201
Voted
CADE
2011
Springer
14 years 1 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
101
Voted
SAFECOMP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...