Secure distributed programming with value-dependent types.
Nikhil SwamyJuan ChenCédric FournetPierre-Yves StrubKarthikeyan BhargavanJean YangPublished in: ICFP (2011)
Keyphrases
- cooperative
- lightweight
- distributed environment
- distributed systems
- real time
- distributed network
- programming language
- group communication
- computer networks
- secure information sharing
- remote server
- identity management
- user authentication
- sensitive data
- object oriented programming
- distributed computing
- computing environments
- privacy preserving
- object oriented
- multi agent systems
- database systems
- databases