6555 search results - page 129 / 1311 » Secure attribute-based systems |
137
click to vote
USS
2010
15 years 4 days 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...
95
Voted
ICASSP
2010
IEEE
15 years 2 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,...
112
click to vote
SIGOPS
2008
15 years 2 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...
124
click to vote
ENTCS
2010
15 years 2 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
121
click to vote
TCS
2008
15 years 2 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...