Sciweavers

286 search results - page 1 / 58
» Authentication in the Taos Operating System
Sort
View
SOSP
1993
ACM
13 years 6 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
13 years 11 months 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 9 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