Towards Formal Analysis of Device Authentication in Ubiquitous Computing.
Conference
·
OSTI ID:1124417
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1124417
- Report Number(s):
- SAND2010-5675C; 493190
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal Analysis of Device Authentication Applications in Ubiquitous Computing.
Formal analysis of device authentication applications in ubiquitous computing.
How Ubiquitous Parallel Devices Affect Visualization.
Conference
·
Wed Sep 01 00:00:00 EDT 2010
·
OSTI ID:1122437
Formal analysis of device authentication applications in ubiquitous computing.
Conference
·
Mon Nov 01 00:00:00 EDT 2010
·
OSTI ID:1030357
How Ubiquitous Parallel Devices Affect Visualization.
Conference
·
Fri May 01 00:00:00 EDT 2020
·
OSTI ID:1785229