 |
|
|
Award Abstract #0627354
CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks
| NSF Org: |
CNS
Division of Computer and Network Systems
|
|
|
| Initial Amendment Date: |
August 30, 2006 |
|
| Latest Amendment Date: |
June 23, 2009 |
|
| Award Number: |
0627354 |
|
| Award Instrument: |
Continuing grant |
|
| Program Manager: |
Karl N. Levitt
CNS Division of Computer and Network Systems
CSE Directorate for Computer & Information Science & Engineering
|
|
| Start Date: |
September 1, 2006 |
|
| Expires: |
August 31, 2010 (Estimated) |
|
| Awarded Amount to Date: |
$366000 |
|
| Investigator(s): |
Hridesh Rajan hridesh@iastate.edu (Principal Investigator)
Wensheng Zhang (Co-Principal Investigator)
|
|
| Sponsor: |
Iowa State University
1138 Pearson
AMES, IA 50011 515/294-5225
|
|
| NSF Program(s): |
TRUSTWORTHY COMPUTING,
ITR-CYBERTRUST,
CYBER TRUST
|
|
| Field Application(s): |
0000912 Computer Science
|
|
| Program Reference Code(s): |
HPCC, 9251, 9218, 9178, 7254
|
|
| Program Element Code(s): |
7795, 7456, 7371
|
ABSTRACT
Hridesh Rajan
Iowa State University
Specification and verification challenges for security protocols in sensor networks
0627354
Panel: P060979
Flaws in security protocols are subtle and hard to find. Finding flaws in the security protocols for sensor networks is even harder because they operate under fundamentally different system design assumptions such as event-driven vs. imperative or message passing, resource and bandwidth constraints, hostile deployment scenarios, trivial physical capturing due to the lack of temper resistance, group-oriented behavior, ad hoc and dynamic topologies, open-ended nature, etc. These assumptions lead to complex security protocols, which in turn makes them much harder to verify. Sensor networks are increasingly becoming an integral part of the nation's cyber infrastructure, making it vital to protect them against cryptographic errors in security protocols. There are several existing techniques for specifying and verifying cryptographic protocols; however, none accommodates all the system design assumptions mentioned above. This research is advancing the state of the art in specification and verification of cryptographic protocols for sensor networks. Applications of sensor networks are numerous from military to environmental research. By providing mechanisms to find cryptographic errors in the security protocols for sensor networks this research program is improving the reliability of these networks, making a direct impact on all areas where these networks are utilized. The activities in this research program are collectively contributing to the development of innovative specification and verification mechanisms for security protocols in sensor networks, and training of a diverse cadre of young scientists in programming languages, software engineering, computer networks, and most importantly enhanced computer security.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
|
(Showing: 1 - 10 of 11)
(Showing: 1 - 11 of 11)
|
Show All |
Bin Tong, Santosh Panchapakesan, and Wensheng Zhang. "A Three-Tier Framework for Intruder Information Sharing in Sensor Networks," IEEE SECON, June 16-20, 2008, San Francisco, CA., 2008, p. 1.
Hridesh Rajan and Gary T. Leavens. "Ptolemy: A Language with Quantified Typed, Events," ECOOP '08: 22nd European Conference on Object-Oriented Programming, July 2008, Paphos, Cyprus., 2008, p. 1.
Min Shao, Sencun Zhu, Wensheng Zhang, and Guohong Cao. "pDCS: Security and Privacy Support for Data-Centric Sensor Networks," IEEE INFOCOM, May 6-12, 2007, Anchorage, Alaska., 2007, p. 1.
Nalin Subramanian, Chanjun Yang, and Wensheng Zhang. "Securing Distributed Data Storage and Retrieval in Sensor Networks," IEEE International Conference on Pervasive Computing and Communications (PerCom), March 19-23, 2007, White Plains, NY., 2007, p. 191.
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang and Johnny Wong. "Specification Synthesis for Monitoring and Analysis of MANET Protocols," International Symposium on Frontiers in Networking with Applications (FINA), May 21-23, 2007, Niagara Falls, ON, Canada., 2007, p. 1.
Robert E. Dyer and Hridesh Rajan. "Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation," 7th International Conference on Aspect-oriented Software Development (AOSD), March 31 - April 4, 2008, Brussels, Belgium., 2008, p. 1.
Taiming Feng, Chuang Wang, Wensheng Zhang, and Lu Ruan. "Confidentiality Protection Schemes for Data Aggregation in Sensor Networks," IEEE INFOCOM, April 15-17, 2008, Phoenix, AZ., 2008, p. 1.
Wensheng Zhang, Chuang Wang, and Taiming Feng. "GP2S: Generic Privacy-Preservation Solutions for Approximate Aggregation of Sensor Data," concise contribution, IEEE PerCom, March 17-21, 2008, Hong Kong, P.R.C., 2008, p. 1.
Wensheng Zhang, Nalin Subramanian, and Guiling Wang. "Lightweight and Compromise-Resilient Message Authentication in Sensor Networks," IEEE INFOCOM, April 15-17, 2008, Phoenix, AZ., 2008, p. 1.
Youssef Hanna, Hridesh Rajan. "SLEDE: Event Based Specification of Sensor Network Protocols," Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006., 2006, p. 1.
Youssef Hanna, Hridesh Rajan, and Wensheng Zhang. "Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations," ACM Conference on Wireless Network Security (WiSec), March 31 - April 2, 2008, Alexandria, Virginia, USA., 2008, p. 1.
|
(Showing: 1 - 10 of 11) (Showing: 1 - 11 of 11) |
Show All |
Please report errors in award information by writing to: awardsearch@nsf.gov.
|
|
|
