CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
Thomas BauereißArmando Pesenti GrittiAndrei PopescuFranco RaimondiPublished in: IEEE Symposium on Security and Privacy (2017)
Keyphrases
- social media
- distributed architecture
- distributed systems
- cooperative
- multi agent
- computing platform
- communication cost
- social networks
- distributed data
- big data
- distributed environment
- peer to peer
- third party
- fault tolerant
- mobile agents
- lightweight
- layered architecture
- real time embedded
- computer networks
- access control
- data sets
- web environment
- resource manager