神刀安全网

E Programming Language: Write Secure Distributed Software

Welcome to the ERights.org wiki.

E is an object-capability programming language and platform for writing distributed , secure, and robust software. This wiki is about E and the larger subject of capability-based security .

Contents

Getting Started

Getting Started – Tips for E newbies

What’s New?

"Computer Security as the Future of Law" – talk by Mark Miller at the 1997 Extro 3 Conference.

Interview with Mark Miller – about Smart Contracts, Prediction, Singularities, and more.

Google Techtalk series on ABAC – Authorization Based Access Control.

Distributed Electronic Rights in JavaScript – paper for ESOP’13 Keynote.

Future research topics

Documentation

Downloads

  • Releases – ready-to-install versions of E .

Applications

Community

e-lang mailing list – discussion of E and other capability languages.

cap-talk mailing list – discussion of general issues regarding capability security.

#erights IRC channel – On the #erights IRC channel at irc.freenode.net, you can talk to a running instance of E as well as elang-ers online. Try saying "? 2+3".

Whiteboards – Discussion of ideas and other works in progress.

Development

转载本站任何文章请注明:转载至神刀安全网,谢谢神刀安全网 » E Programming Language: Write Secure Distributed Software

分享到:更多 ()

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址