Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.

Lijun Wu, Kaile Su, Qingliang Chen

Browse the full CIS paper archive.