11603 search results - page 445 / 2321 » Embedded System Security |
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,...
199
click to vote
ENTCS
2010
15 years 7 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...
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...
171
click to vote
SDMW
2007
Springer
16 years 29 days ago
2007
Springer
Recent compliance regulations are intended to foster and restore human trust in digital information records and, more broadly, in our businesses, hospitals, and educational enterpr...
170
click to vote
SPIRE
2001
Springer
15 years 11 months ago
2001
Springer
Word-based Huffman coding has widespread use in information retrieval systems. Besides its compressing power, it also enables the implementation of both indexing and searching sch...