171 search results - page 21 / 35 » Improving Computer Security Using Extended Static Checking |
154
click to vote
BIRTHDAY
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
SACMAT
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
89
Voted
TDSC
2008
14 years 9 months ago
2008
Trustworthy computing modules like secure coprocessors (ScP) are already in extensive use today, albeit limited predominantly to scenarios where constraints on cost is not a seriou...
ICCS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
FC
2005
Springer
15 years 3 months ago
2005
Springer
We demonstrate how to make voting protocols resistant against manipulation by computationally bounded malicious voters, by extending the previous results of Conitzer and Sandholm i...