Skip to main content

2 Result(s)

within Arjen Hommersom Remove this filter Philosophy Remove this filter

and

  1. No Access

    Chapter

    Update Semantics of Security Protocols

    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the ...

    Arjen Hommersom, John-Jules Meyer, Erik de Vink in Information, Interaction and Agency (2005)

  2. No Access

    Article

    Update Semantics of Security Protocols

    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the ...

    Arjen Hommersom, John-jules Meyer, Erik De vink in Synthese (2004)