1795 search results - page 112 / 359 » Security Models and Information Flow |
138
click to vote
ACISP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Many algorithmic problems, which are used to prove the security of a cryptographic system, are shown to be characterized as the subgroup membership problem. We then apply...
ISI
2006
Springer
15 years 3 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
136
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
In this paper, we propose an original approach for content-based video indexing and retrieval. It relies on the tracking of entities of interest and the analysis of their apparent...
121
click to vote
ISPASS
2009
IEEE
15 years 10 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
119
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...