Security Protocols for Pervasive Computing Applications
Security Protocols for Pervasive Computing Applications
批准号:
0208631
负责人:
Srini Devadas
金额:
$27.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-01 至 2005-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The integration of wearable and embedded devices into a pervasive computing environment requires significant attention to security and privacy issues. A system architecture with associated protocols for secure pervasive computing is investigated.The system architecture is based on the existence of a software proxy for each device. All objects in the system, e.g., appliances, wearable gadgets, software agents, and users have associated trusted software proxies that either run on an embedded processor on the appliance, or on a trusted computer. In the case where the device has minimal computational power, and communicates to its proxy through a wired or wireless network, the communication in the proposed system adheres to a proposed device-to-proxy protocol. It is also proposed that proxies communicate with each other using a secure proxy-to-proxy protocol based on SPKI/SDSI (Simple Public Key Infrastructure / Simple Distributed Security Infrastructure). Some devices, e.g., terminals or displays, may not be trusted or their security might be compromised, but users may still wish to use them, because they provide a large screen or large bandwidth resources. An untrusted computer protocol based on visual authentication is proposed such that users can use the untrusted computer and authenticate displayed information as well as communicate securely to a remote application.Using the architectural ideas described above, the design and implementation of a pervasive-computing environment which allows for secure, yet efficient, access to networked, mobile devices is proposed.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
-
批准号:2115587
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
-
批准号:1955270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
-
批准号:1813087
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
-
批准号:1822920
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
STARSS: Small: Trapdoor Computational Fuzzy Extractors
-
批准号:1523572
-
项目类别:Standard Grant
-
资助金额:$26.67万
-
财政年份:2015
-
负责人:Srini Devadas
-
依托单位:
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
-
批准号:1413920
-
项目类别:Continuing Grant
-
资助金额:$320.0万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
XPS: FULL: DSD: Collaborative Research: Moving the Abyss: Database Management on Future 1000-core Processors
-
批准号:1438967
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
TWC: Small: Ascend: Architecture for Secure Computation on Encrypted Data
-
批准号:1317763
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
-
批准号:1347279
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
SHF: Small: Directoryless Shared Memory Using Execution Migration
-
批准号:1116372
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Srini Devadas
-
依托单位:
SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System
-
批准号:0904598
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Srini Devadas
-
依托单位:
CT-ISG: Applications and Evolution of Trusted Platform Module Technology
-
批准号:0715680
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Srini Devadas
-
依托单位:
Physical Random Functions and Secure Hardware Architectures
-
批准号:0309562
-
项目类别:Continuing Grant
-
资助金额:$35.0万
-
财政年份:2003
-
负责人:Srini Devadas
-
依托单位:
NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
-
批准号:9901628
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems
-
批准号:9900757
-
项目类别:Continuing Grant
-
资助金额:$34.5万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
A Computer-Aided Design Methodology for Application-Specific Embedded Processors
-
批准号:9612632
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1996
-
负责人:Srini Devadas
-
依托单位:
NSF Young Investigator Award: Formal Methods for Hardware and Software Verification
-
批准号:9258376
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1992
-
负责人:Srini Devadas
-
依托单位:
海外基金