Our Security Measures
Language Design Level
- Method/Object-wise capability
- Providing tickets, permissions a la Telescript for migrating objects
- Exception handling constructs for network fault
Language Implementation Level
- Typed Virtual Machine Code - extending the notion of types for security