Socio-technical formal analysis of TLS certificate validation in modern browsers.

Giampaolo Bella Rosario Giustolisi Gabriele Lenzini

Published in: PST (2013)

Keyphrases

formal analysis
socio technical
emergency response
computer supported collaborative learning
formal methods
human factors
intra organizational
social relationships
decision making
e learning
learning environment
agent model