550 search results - page 25 / 110 » A lightweight approach to state based security testing |
133
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
156
click to vote
PAM
2010
Springer
16 years 27 days ago
2010
Springer
The ability to pinpoint the geographic location of IP hosts is compelling for applications such as on-line advertising and network attack diagnosis. While prior methods can accurat...
248
click to vote
AINA
2011
IEEE
14 years 9 months ago
2011
IEEE
—The advent of distributed and ad-hoc-connected systems such as in Ambient Intelligence applications confronts developers with the question on how to specify QoS- and security po...
147
click to vote
CSFW
2008
IEEE
16 years 16 days ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
161
click to vote
ICDE
2007
IEEE
16 years 11 days 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...