About:
The Aegis VM Project is an ongoing effort to develop a lightweight, secure virtual machine for executing Java bytecode. The VM is intended to be an extension framework for applications or devices that dynamically load and execute untrusted extensions. The Aegis VM will eventually feature a modular bytecode verification architecture, Proof Linking, which supports pluggable verification modules so that various static verification or analysis technologies can be integrated into the VM's dynamic linking process with minimal efforts. This benefit is achieved by allowing verification sessions to communicate with each other only through explicit formulation of proof obligations, the discharging of which is scheduled to happen at specific points of the dynamic linking process to protect the integrity of the VM. A generic framework for formulating, scheduling, and discharging proof obligations is built into the VM.

Author:
Philip Fong [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://aegisvm.sourceforge.net
Tar/GZ:
http://sourceforge.net/project/showfiles.php?group_id=37519
Changelog:
http://aegisvm.sourceforge.net/aegisvm-0.1.0/NEWS
CVS tree (cvsweb):
http://aegisvm.cvs.sourceforge.net/
Mailing list archive:
http://sourceforge.net/mail/?group_id=37519

Trove categories: [change]

[Development Status]		2 - Pre-Alpha
[Environment]		Console (Text Based)
[Intended Audience]		Developers
[License]		OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System]		POSIX :: Linux
[Programming Language]		C, Java
[Topic]		Security, Software Development :: Interpreters, Software Development :: Libraries

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	0.1.0	12-Jun-2002	GNU Lesser General Public License (LGPL)