Sciweavers

5119 search results - page 121 / 1024
» Security Privacy
Sort
View
ETRICS
2006
15 years 10 months ago
Controlling Access to Documents: A Formal Access Control Model
Paul E. Sevinç, David A. Basin, Ernst-R&uum...
EUROPKI
2006
Springer
15 years 10 months ago
Efficient Conjunctive Keyword Search on Encrypted Data Storage System
Jin Wook Byun, Dong Hoon Lee, Jongin Lim
AGENTS
2000
Springer
15 years 10 months ago
Ant-inspired navigation in unknown environments
Stergios I. Roumeliotis, Paolo Pirjanian, Maja J. ...
AGENTS
2000
Springer
15 years 10 months ago
An agent architecture to fulfill real-time requirements
Ignacio Soto, Mercedes Garijo, Carlos Angel Iglesi...
ESORICS
2000
Springer
15 years 10 months ago
Formal Verification of Cardholder Registration in SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...