Future Areas of Development
Scalability
Access Control
Reasoning
Rules
Logic
Proof
Web of Trust (P3P, PKI, Digital Signatures)
User Interfaces
Eric Miller
12 of 15
