2178 search results - page 378 / 436 » Toward Systemically Secure IT Architectures |
CCS
2009
ACM
13 years 11 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
This demo presents Signposts, a system to provide users with a secure, simple mechanism to establish and maintain communication channels between their personal cloud of named devi...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We present reform, a system that envisions roles for both programmers and end users in enhancing existing websites to support new goals. First, programmers author a traditional ma...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
As the Web has evolved into a data-rich repository, with the standard "page view," current search engines are increasingly inadequate. While we often search for various ...