Bulwark: Holistic and Verified Security Monitoring of Web Protocols.
Lorenzo VeroneseStefano CalzavaraLuca CompagnaPublished in: ESORICS (1) (2020)
Keyphrases
- security protocols
- website
- web applications
- communication protocols
- security services
- cryptographic protocols
- network monitoring
- key agreement protocol
- web pages
- security properties
- security policies
- linked data
- information security
- monitoring system
- network security
- intrusion detection
- web mining
- web content
- real time
- web documents
- statistical databases
- semantic web
- network management
- situational awareness
- access control
- authentication protocol
- web data
- key establishment
- key exchange
- trust relationships
- contractual obligations
- wireless sensor
- communication protocol
- security requirements
- web resources
- smart card
- third party
- information sources
- end users