Sciweavers

828 search results - page 76 / 166
» types 2000
Sort
View
ASIACRYPT
2000
Springer
15 years 10 months ago
Concrete Security Characterizations of PRFs and PRPs: Reductions and Applications
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
Anand Desai, Sara K. Miner
BIRTHDAY
2000
Springer
15 years 10 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
CARDIS
2000
Springer
110views Hardware» more  CARDIS 2000»
15 years 10 months ago
Biometrics, Access Control, Smart Cards: A not so Simple Combination
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...
Gaël Hachez, François Koeune, Jean-Jac...
CCS
2000
ACM
15 years 10 months ago
Security enhanced mobile agents
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
Vijay Varadharajan
DEXA
2000
Springer
98views Database» more  DEXA 2000»
15 years 10 months ago
Optimal Page Ordering for Region Queries in Static Spatial Databases
Page ordering is to define the order of pages in one-dimensional storage for storing two-dimensional spatial data to reduce the number of disk seeks. Previous works relating to pag...
Daesoo Cho, Bonghee Hong