Re: Distributed co-operative theorem proving, anyone? - was Java

[Adam Shostack <adam@homeport.org>]

Dr. Frederick B. Cohen wrote:

| > For the general case this is true. To be able to trust larger systems, you
| > need to not only be able to trust the individual 2 pagers, but to also be
| > able to show that composing the sub units doesn't lose whatever property
| > you're trying to do.
| ...
| > Distributed co-operative theorem proving, anyone?
| 
| Let's go - I will provide the distribution mechanisms, and I think I
| know someone who is interested in the theorem proof side.  I know of
| several experts on theorum proving who may well pitch in.  What program
| do you want to prove secure next (we're currently finishing up my secure
| Web server).

	I'd be real intereseted in seeing an MTA proven secure.  Smail
or Zmailer perhaps?

Adam


-- 
"It is seldom that liberty of any kind is lost all at once."
					               -Hume