SIPL - Secure Internet Programming Languages (archived)
Author
The Center for Information Systems Security Studies and Research
Date
2006Metadata
Show full item recordAbstract
Our research aims to incrementally develop a secure-flow logic for a deterministic, imperative programming language. Simply put, SIPL is a holistic environment for developing secure software.