949 search results - page 156 / 190 » Design methods for security and trust |
136
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
122
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
145
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Link analysis methods have been used successfully for knowledge discovery from the link structure of mutually linking entities. Existing link analysis methods have been inherently...
140
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...
123
Voted
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...