Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage.
Bruno BlanchetAvik ChaudhuriPublished in: IEEE Symposium on Security and Privacy (2008)
Keyphrases
- formal analysis
- file sharing
- ban logic
- payment protocol
- peer to peer
- authentication protocol
- sensitive data
- data storage
- peer to peer networks
- internet traffic
- third party
- agent model
- cryptographic protocols
- formal methods
- privacy preserving
- security protocols
- scalar product
- covert channel
- artificial intelligence
- client server architecture
- lightweight
- digital libraries
- data privacy
- security policies
- distributed environment
- smart card