Re: Security and Vulnerability Assessment of an E Program

Kevin Reid <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
On Sep 17, 2008, at 14:51, Jimmy Wylie Jr. wrote:

> Speaking of which, what is the state of the Auditing framework right  
> now?  I tried to use the DeepFrozen Auditor, but kept getting an  
> audit failed exception. It turns out the method was only stubbed, so  
> it defaulted to false.

This is because E-on-Java does not have a practical auditing system. E- 
on-CL has a working, though slightly over-restrictive, DeepFrozen  
auditor; the needed work is to put the guard-based-auditing system  
into E-on-Java.

http://wiki.erights.org/wiki/Guard-based_auditing

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.