A Language-Based Approach To Wireless Sensor Network Security

Abstract

In this project we investigated software architectures to support secure and reliable embedded systems application programming. In particular, we were focused on Wireless Sensor Network (WSN) applications developed the TinyOS programming environment. A major contribution was an extension of the nesC programming language, called SpartanRPC, that provides a secure RPC abstraction and an expressive and fine-grained security policy language. SpartanRPC allows multiple networks in distinct security domains to interact without resorting to other hardware intermediaries. Another major contribution was a staged programming language, called Scalaness/nesT, that allows nesC programs to be automatically generated by Scala programs running on a high-powered "hub" machine, and subsequently deployed over-the-air to WSN componet nodes. This framework allows more efficient, reliable, type-safe orchestration of WSN systems. Another significant contribution of our project was a new mechanism for embedding watermarks in WSN data to support fair-use policies for information sharing.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 06, 2014
Accession Number
ADA597308

Entities

People

  • Christian Skalka

Organizations

  • University of Vermont

Tags

Communities of Interest

  • Sensors

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Christianity
  • Computer Network Security
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Detectors
  • Environmental Monitoring
  • Information Processing
  • Language
  • Networks
  • Programming Languages
  • Sensor Networks
  • Universities
  • Wireless Sensor Networks

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Networking

Technology Areas

  • Cyber