8644 search results - page 301 / 1729 » On the Composition of Secure Systems |
158
click to vote
FTDCS
2003
IEEE
16 years 2 days ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
209
click to vote
USS
2010
15 years 4 months ago
2010
Wireless networks are being integrated into the modern automobile. The security and privacy implications of such in-car networks, however, are not well understood as their transmi...
164
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
: © High-Resolution Glyph-Inspection Based Security System Steven J. Simske, Guy Adams HP Laboratories HPL-2010-42 Image forensics, CMOS imaging, authentication, print parasitics,...
181
click to vote
SIGOPS
2008
15 years 6 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
203
click to vote
TCS
2008
15 years 6 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...