A Model-Based Approach to Secure Multiparty Distributed Systems.
Najah Ben SaidTakoua AbdellatifSaddek BensalemMarius BozgaPublished in: ISoLA (1) (2016)
Keyphrases
- distributed systems
- multi party
- privacy preserving
- secure multi party
- secret sharing
- fault tolerant
- distributed environment
- distributed computing
- operating system
- software architecture
- fault tolerance
- geographically distributed
- load balancing
- description language
- distributed database systems
- concurrent systems
- security policies
- deadlock detection
- mobile agents
- real time systems
- data replication
- response time
- data availability
- turn taking
- open source
- mobile agent system
- replicated data
- domain independent