Bulwark: Holistic and Verified Security Monitoring of Web Protocols.
Lorenzo VeroneseStefano CalzavaraLuca CompagnaPublished in: CoRR (2021)
Keyphrases
- security protocols
- website
- communication protocols
- security properties
- web pages
- cryptographic protocols
- web applications
- key agreement protocol
- authentication protocol
- access control
- semantic web
- monitoring system
- information security
- end users
- user friendliness
- situational awareness
- wireless sensor
- real time
- linked data
- information sources
- network monitoring
- key distribution
- key exchange
- statistical databases
- web technologies
- web resources
- web data
- web mining
- security services
- messages exchanged
- secure multiparty computation
- communication protocol
- security issues
- security policies
- network security
- web content
- web services