dhh1128 / intent

the intent formal language
https://intentlang.org
2 stars 1 forks source link

security: provide something similar to java sandboxing #131

Open dhh1128 opened 8 years ago

dhh1128 commented 8 years ago

Want to declare that an app only has ability to do X, Y, and Z -- and then have A) the compiler enforce it; B) have an "intent sandbox" app that enforces it? C) have an "intent validator" app that audits it on demand?