PSec: Programming Secure Distributed Systems using Enclaves.
Shivendra KushwahAnkush DesaiPramod SubramanyanSanjit A. SeshiaPublished in: AsiaCCS (2021)
Keyphrases
- distributed systems
- fault tolerant
- mobile agent system
- distributed environment
- fault tolerance
- load balancing
- message passing
- mobile agents
- distributed computing
- programming language
- real time systems
- geographically distributed
- software architecture
- security requirements
- data replication
- distributed database systems
- concurrent systems
- agent based systems
- deadlock detection
- security policies
- agent technology
- quality of service
- loosely coupled
- security issues
- operating system
- case study
- artificial intelligence