Sciweavers

6861 search results - page 275 / 1373
» Security for Ubiquitous Computing
Sort
View
ACSAC
2003
IEEE
15 years 11 months ago
PSOS Revisited
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
Peter G. Neumann, Richard J. Feiertag
IDTRUST
2010
ACM
16 years 23 days ago
Computational techniques for increasing PKI policy comprehension by human analysts
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith
CMS
2003
148views Communications» more  CMS 2003»
15 years 7 months ago
Computation of Cryptographic Keys from Face Biometrics
We outline cryptographic key–computation from biometric data based on error-tolerant transformation of continuous-valued face eigenprojections to zero-error bitstrings suitable f...
Alwyn Goh, David Ngo Chek Ling
CHI
2009
ACM
16 years 6 months ago
DICE: designing conference rooms for usability
One of the core challenges now facing smart rooms is supporting realistic, everyday activities. While much research has been done to push forward the frontiers of novel interactio...
Gene Golovchinsky, Pernilla Qvarfordt, Bill van Me...
CHI
2008
ACM
16 years 6 months ago
The see-Puck: a platform for exploring human-robot relationships
We present the see-Puck, a round display module that extends an open robot platform, the e-Puck. It holds 148 LEDs (light emitting diodes) to enable the presentation of eye-catchi...
Mattias Jacobsson, Johan Bodin, Lars Erik Holmquis...