Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Skalka, Christian - Department of Computer Science, University of Vermont
A Systematic Approach to Static Access Control Fran cois Pottier
Specifying Distributed Trust Management in LolliMon Jeff Polakow
Electronic Notes in Theoretical Computer Science 75 (2003) URL: http://www.elsevier.nl/locate/entcs/volume75.html 20 pages
A Systematic Approach to Static Access Control Francois Pottier
Types for Programming LanguageBased Security Christian Skalka
Risk Management for Distributed Authorization Christian Skalka
Static Enforcement of Security with Types Christian Skalka
A DISTRIBUTED IN SITU SYSTEM FOR SNOW WATER EQUIVALENCE MEASUREMENT (WORK IN PROGRESS)
Risk Assessment in Distributed Authorization Peter Chapin
AIOOL 2005 Preliminary Version A Type and Effect System for Flexible Abstract
Specifying Distributed Trust Management in LolliMon Jeff Polakow
Risk Assessment in Distributed Authorization Peter Chapin
Type-Specialized Staged Programming with Process Separation Yu David Liu
Static UseBased Object Confinement Christian Skalka
Some Decision Problems for ML Refinement Types Christian Skalka
Trust But Verify: Authorization for Web Services Christian Skalka
Diagrammatic Verification of Security Protocols Christian Skalka and Scott Smith
MS ID: IJIS0049 16 September 2004 13:18 CET
Authorization in Trust Management: Features and Foundations
SpartanRPC: Secure WSN Middleware for Cooperating Domains Peter Chapin
History Effects and Verification Christian Skalka and Scott Smith
Types and Trace Eects for Object Orientation Christian Skalka
Under consideration for publication in J. Functional Programming 1 Types and Trace Effects of Higher Order
Electronic Notes in Theoretical Computer Science 75 (2003) URL: http://www.elsevier.nl/locate/entcs/volume75.html 20 pages
Noname manuscript No. (will be inserted by the editor)
Higher-Order Symb Comput (2008) 21: 239282 DOI 10.1007/s10990-008-9032-6
Type Safe Dynamic Linking for JVM Access Control Christian Skalka
Trace Effects and Object Orientation Christian Skalka
Trust But Verify: Authorization for Web Services Christian Skalka
Electronic Notes in Theoretical Computer Science 75 (2003) URL: http://www.elsevier.nl/locate/entcs/volume75.html 14 pages
Formalized Proof of Type Safety of Hoare Type Theory
