It's a very good question. I'm hoping that the StrongTalk VM will indeed blossom and become a powerful force in Open Source Smalltalk. What will actually happen with it is yet to be seen.
In the mean time I'm hoping to find that CC validation is possible on Dynamic Languages like Smalltalk. I have a call coming up (this Thursday) with someone that has been through this, but I'm still looking for someone with experience with a lab or with a validation using a VM language.
If anyone has some suggestions on someone I should talk to please let me know.
I'm expecting that we will be able to make the changes necessary to the current Squeak VM to get it validated. When StrongTalk is ready maybe we can do the same, or at least consult on what should be done there. We still need a better understanding on what needs to be done.
Ron Teitelbaum Squeak Cryptography Team Leader
-----Original Message----- From: Krishna Sankar Sent: Monday, November 27, 2006 3:38 PM
Hi,
Would it be easier if we work with the StrongTalk VM and embed primitives that will enable us certification ? If we conclude that the general VM will have difficulties to pass certification, may be, what we need is a VM that is certified, which has minimum mods. In which case, StrongTalk might be a good place to start. Thoughts ?
Cheers
<k/>
Cryptography mailing list Cryptography@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/cryptography
On 11/27/06, Ron Teitelbaum Ron@usmedrec.com wrote:
If anyone has some suggestions on someone I should talk to please let me know.
I was reading about Islands over the weekend and was wondering if that mechanism or something akin to it might be useful.
-- Tim
Are you talking about croquet islands, or something else?
Ron
-----Original Message----- From: cryptography-bounces@lists.squeakfoundation.org [mailto:cryptography-bounces@lists.squeakfoundation.org] On Behalf Of Cerebus Sent: Monday, November 27, 2006 5:16 PM To: Ron@usmedrec.com; Cryptography Team Development List Subject: Re: [Cryptography Team] Quick thoughton certification
On 11/27/06, Ron Teitelbaum Ron@usmedrec.com wrote:
If anyone has some suggestions on someone I should talk to please let me know.
I was reading about Islands over the weekend and was wondering if that mechanism or something akin to it might be useful.
-- Tim _______________________________________________ Cryptography mailing list Cryptography@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/cryptography
Interesting I'll have to look more closely at it.
Ron
-----Original Message----- From: cryptography-bounces@lists.squeakfoundation.org [mailto:cryptography-bounces@lists.squeakfoundation.org] On Behalf Of Cerebus Sent: Monday, November 27, 2006 7:36 PM To: Ron@usmedrec.com; Cryptography Team Development List Subject: Re: RE: [Cryptography Team] Quick thoughton certification
http://minnow.cc.gatech.edu/squeak/2074
-- Tim _______________________________________________ Cryptography mailing list Cryptography@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/cryptography
Lex was doing this project as an intern in Alan's group back in 2000. He recently said somewhere that he launched into the project shortly after having been "Millered", a term referring to having grokked the writings of Mark S. Miller (see http://erights.org). The word is apt, and makes me chuckle.
I would STRONGLY recommend anyone interested in the area to read Mark's thesis dissertation (http://www.erights.org/talks/thesis/). It is the most readable dissertation I have ever read, and is accessible to the non-specialist (like me). It is a comprehensive and well-structured overview of the field of object-capability security. You won't think the same about security after your first Millering.
Josh
On Nov 27, 2006, at 4:43 PM, Ron Teitelbaum wrote:
Interesting I'll have to look more closely at it.
Ron
-----Original Message----- From: cryptography-bounces@lists.squeakfoundation.org [mailto:cryptography-bounces@lists.squeakfoundation.org] On Behalf Of Cerebus Sent: Monday, November 27, 2006 7:36 PM To: Ron@usmedrec.com; Cryptography Team Development List Subject: Re: RE: [Cryptography Team] Quick thoughton certification
http://minnow.cc.gatech.edu/squeak/2074
-- Tim _______________________________________________ Cryptography mailing list Cryptography@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/ cryptography
Cryptography mailing list Cryptography@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/ cryptography
On 11/27/06, Joshua Gargus schwa@fastmail.us wrote:
Lex was doing this project as an intern in Alan's group back in 2000. He recently said somewhere that he launched into the project shortly after having been "Millered", a term referring to having grokked the writings of Mark S. Miller (see http://erights.org). The word is apt, and makes me chuckle.
Information Assurance is a such a small world. I had a short debate in Bruce Schneier's blog earlier this year with Mark Miller re: the "Petnames" concept in E and how it relates to (and in my mind is inferior to) Rivest & Ellison's SPKI/SDSI namespaces.
http://www.schneier.com/blog/archives/2006/02/petnames.html
-- Tim
I sent an invitation to Lex to join our conversation about islands.
Ron
-----Original Message----- From: Joshua Gargus Sent: Monday, November 27, 2006 7:57 PM
Lex was doing this project as an intern in Alan's group back in 2000. He recently said somewhere that he launched into the project shortly after having been "Millered", a term referring to having grokked the writings of Mark S. Miller (see http://erights.org). The word is apt, and makes me chuckle.
I would STRONGLY recommend anyone interested in the area to read Mark's thesis dissertation (http://www.erights.org/talks/thesis/). It is the most readable dissertation I have ever read, and is accessible to the non-specialist (like me). It is a comprehensive and well-structured overview of the field of object-capability security. You won't think the same about security after your first Millering.
Josh
On Nov 27, 2006, at 4:43 PM, Ron Teitelbaum wrote:
Interesting I'll have to look more closely at it.
Ron
-----Original Message----- From: cryptography-bounces@lists.squeakfoundation.org [mailto:cryptography-bounces@lists.squeakfoundation.org] On Behalf Of Cerebus Sent: Monday, November 27, 2006 7:36 PM To: Ron@usmedrec.com; Cryptography Team Development List Subject: Re: RE: [Cryptography Team] Quick thoughton certification
http://minnow.cc.gatech.edu/squeak/2074
-- Tim
cryptography@lists.squeakfoundation.org