2043 search results - page 91 / 409 » Reasoning About Security Models |
107
click to vote
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
196
click to vote
CADE
2011
Springer
14 years 18 days 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...
118
Voted
LADC
2007
Springer
15 years 6 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
108
Voted
ATAL
2011
Springer
14 years 18 days ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
102
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...