skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Formal Analysis of Device Authentication Applications in Ubiquitous Computing.

Abstract

Abstract not provided.

Authors:
;
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1122437
Report Number(s):
SAND2010-6150C
491534
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Conference: Proposed for presentation at the ACM Symposium on Applied Computing held March 21-25, 2011 in Taichung, Taiwan.
Country of Publication:
United States
Language:
English

Citation Formats

Claycomb, William R., and Shin, Dongwan. Formal Analysis of Device Authentication Applications in Ubiquitous Computing.. United States: N. p., 2010. Web.
Claycomb, William R., & Shin, Dongwan. Formal Analysis of Device Authentication Applications in Ubiquitous Computing.. United States.
Claycomb, William R., and Shin, Dongwan. Wed . "Formal Analysis of Device Authentication Applications in Ubiquitous Computing.". United States. https://www.osti.gov/servlets/purl/1122437.
@article{osti_1122437,
title = {Formal Analysis of Device Authentication Applications in Ubiquitous Computing.},
author = {Claycomb, William R. and Shin, Dongwan},
abstractNote = {Abstract not provided.},
doi = {},
url = {https://www.osti.gov/biblio/1122437}, journal = {},
number = ,
volume = ,
place = {United States},
year = {2010},
month = {9}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: