To know or not to know: epistemic approaches to security protocol verification
More Info
expand_more
expand_more