A Formal Model for Security Analysis of Trust and Reputation systems.
Seyed Asgary GhasempouriBehrouz Tork LadaniPublished in: ISCISC (2017)
Keyphrases
- security analysis
- formal model
- trust and reputation systems
- security properties
- virtual communities
- smart card
- security vulnerabilities
- security requirements
- public key
- image encryption
- high security
- encryption scheme
- user authentication
- authentication protocol
- authentication scheme
- mutual authentication
- social media