[cap-talk] John Mitchell

[Jed Donnelley]

cap-talk,

I'm doing some outreach to the Computer Security Fundamentals
"community".  John Mitchell:

http://theory.stanford.edu/people/jcm/home.html

is one person I picked out from the program committee for
the Computer Security Foundations Symposium:

http://www.cs.chalmers.se/~andrei/CSF08/cfp.html

whose interests at least seem to nominally overlap
with our focus on POLA and the capability paradigm.

Has anybody interacted with him?  Look at his interests:
________
Research Interests Computer security: access control, network
protocols, privacy, software systems, and web security. Programming
languages, type systems, object systems, and formal methods.
Applications of mathematical logic to computer science.
________

Doesn't that look like some overlap with topics we discuss
on cap-talk?  I think his publication list is worth a look:

http://theory.stanford.edu/people/jcm/publications.htm

I'll welcome any suggestions on direction, but lacking
other direction I think I'm going to bump around a bit
in this "Computer Security Foundations" 'crowd' and see
what I can find out about attitudes toward POLA and
capabilities and perhaps alternatives to same that can
address the long term computer security/integrity "problem".

--Jed  http://www.webstart.com/jed/