Winter 2007 Protocol eXchange Meeting
The 2007 session of the Winter Protocol eXchange seminar was held at the Naval Postgraduate School on January 29-30. The following papers were presented:
Modeling Adaptive Node Capture Attacks in Multihop Wireless Networks
by Patrick Tague & Radha Poovendran of the Network Security Lab at the Dept. of Electrical Engineering at the University of Washington
Analyzing the Resiliency of Key Distribution Techniques for Mobile Ad Hoc Network
by Jason Rogers from the Center for High Assurance computer Systems at the US Naval Research Laboratory
Unification in Maude
by Steven Eker of the Computer Science Laboratory at SRI.
by Sam Owre from the Computer Science Laboratory at SRI International
Searching for Shapes
by Shaddin Doghmi, Joshua Guttman and Javier Thayer of MITRE was presented by Josh Guttman
Implementing Tuengerthal's XOR Unification
by Jon Millen of MITRE.
Last modified: Tue Jan 30 17:30:29 PST 2007