Sciweavers

286 search results - page 1 / 58
» Authentication in the Taos Operating System
Sort
View
SOSP
1993
ACM
13 years 7 months ago
Authentication in the Taos Operating System
Edward Wobber, Martín Abadi, Michael Burrow...
RTAS
2002
IEEE
13 years 10 months ago
Achieving End-to-end Predictability in the TAO Real-time CORBA ORB
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
Irfan Pyarali, Douglas C. Schmidt, Ron Cytron
NTMS
2008
IEEE
14 years 5 days ago
On the Authentication of RFID Systems with Bitwise Operations
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
Basel Alomair, Radha Poovendran
CCS
1999
ACM
13 years 10 months ago
Proof-Carrying Authentication
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
Andrew W. Appel, Edward W. Felten