515 search results - page 37 / 103 » Measuring Voter-Controlled Privacy |
CRITIS
2007
15 years 1 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
102
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
127
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
SAFECOMP
2010
Springer
14 years 9 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...
108
click to vote
CCS
2011
ACM
13 years 12 months ago
2011
ACM
Web applications divide their state between the client and the server. The frequent and highly dynamic client-server communication that is characteristic of modern web application...