Description Index
- Main page
- Motivation
- Email client
- Jif tools
- Jifclipse
- SWE tools
- Policy tools
- Distrib. policy
- Trusted Declassification
Links
Related Projects
Authors
Collaborators
JPmail Project:
Downloads
JPmail (full release, complete with latest Jif tools)
Individual tools
Jif signatures for Java libraries
Jif cryptography classes (AES,TripleDES,DES,RSA)
Jif policy tools (policy store and policy compiler and Jif RT extensions)
Eclipse is a trademark of Eclipse Foundation, Inc.
This research was supported in part by NSF grant CCF-0524036, "Flexible, Decentralized Information-flow Control for Dynamic Environments" and in part by Motorola through the Software Engineering Research Consortium (SERC) grant, "Extending Developer Tools for Security-typed Languages"
"Like the new frontiers of other times, this one too is full of the interplay of danger and promise, and not without the sense of adventure which marked other great periods of change." --Pope John Paul II on technology
NSRC | SIIS | CSE | Penn State | Copyright 2006 Boniface Patrick Hicks, OSB