Skip to main content

Home

 

Find us on

facebook youtube flickr twitter itunes u logo

Upcoming Events

 ISTS logo

Securing the e-Campus 2017 - Exact time and dates TBD

Recent Talks

Dan Wallach

STAR-Vote: A Secure, Transparent, Auditable and Reliable Voting System

Professor Dan Wallach
Rice University
Thursday April 27, 2017
Carson L01, 5:00 PM

Ben Miller Dragos

Pandora's Power Grid - What Can State Attacks Do and What Would be the Impact?

Ben Miller
Chief Threat Officer, Dragos, Inc.
Tuesday May 2, 2017
Kemeny 007, 4:30 PM
Brendan Nyhan

 

 

 

Factual Echo Chambers? Fact-checking and Fake News in Election 2016.

Professor Brendan Nyhan
Dartmouth College
Thursday May 4, 2017
Rocky 001, 5:00 PM

Dickie George

 

Espionage and Intelligence

Professor Dickie George
Johns Hopkins University
Thursday May 11, 2017
Rocky 001, 5:00 PM

Dan Wallach

A Nation Under Attack: Advanced Cyber-Attacks in Ukraine

Ukrainian Cybersecurity Researchers
Thursday April 6, 2017
Oopik Auditorium 5:30 PM

RIOTS logo 

Professor Sean Smith, Director of the ISTS and Bill Nisen, Associate Director, spoke at the

School House residential cluster on the Internet of Risky Things  - February 21, 2017, 5:30 PM

Craig Smith

 

 

 

You Don't Own Your Car
Craig Smith
OpenGarages
Tuesday May 10, 2016 
Carson L02 @4:15

David Safford

 

Hardware Based Security for GE's Industrial Control Systems
David Safford
GE Global Research
Tuesday May 17, 2016
Carson L02 @4:15

 

DanTentler

"It's Fine," They Said. "Just Ship It," They Said.
Dan Tentler
The Phobos Group
Tuesday April 12, 2016 
Carson L02 @4:15

Harold Thimbleby

 

 

 

The Best Way to Improve Healthcare is to Improve Computers
Harold Thimbleby
Swansea University
April 23, 2015

Craig Shue

 

 

 

Managing User-Level Compromises in Enterprise Network
Craig Shue
Worcester Polytechnic Institute
March 31, 2015

 

Newsletter 

Oct news 2015

 

ISTS Information Pamphlet


2012BrochureCover

 

Institute for Security, Technology, and Society
Dartmouth College
6211 Sudikoff Laboratory
Hanover, NH 03755 USA
info.ists@dartmouth.edu
HomeEvents >

Logic and Practice of Trust Management

Abstract

Trust management systems allow decentralized authorization of security critical actions in modern distributed systems. Examples include SDSI/SPKI, KeyNote, and RT. A variety of logics have been used to specify the semantics of trust management systems, being sufficiently expressive to capture their meaning in a natural manner, and providing them with rigorous mathematical foundations. We propose LolliMon, a linear logic programming language, as a new foundation for RT trust management, since it possesses unique features allowing a simple and scalable implementation of the system that is easily proven correct. In particular, conditional subgoals, linear hypotheses, and a mix of bottom-up and top-down proof strategies, allow for a seamless integration of authorization steps and non-local certificate retrieval, commonly called certificate chain discovery. This technique is easily adapted to a variety of enhancements of the basic system. Furthermore, we show how strategies! for minimizing the cost of certificate retrieval can be encoded in the logical specification, providing efficiency without compromising mathematical rigor for security.

This is joint work with Peter Chapin (UVM), X. Sean Wang (UVM), and Jeff Polakow (AIST, CVS, JST).

Bio

Christian Skalka received a BA in Philosophy and Mathematics from St. John's College in Santa Fe, NM in 1991, after which he worked on the Human Genome Project at the Los Alamos National Laboratories and the National Institutes of Health. He began graduate study in 1996, first earning an MS in Logic, Computation and Methodology at Carnegie Mellon University, then earning a PhD in Computer Science at the Johns Hopkins University in 2002 under Scott Smith, where his thesis was entitled "Types for Programming Language Based Security". He is currently an Assistant Professor at the University of Vermont, where his research focuses on type theory, computer security, and logic in computer science.