2 papers
cs.CR2017
Formal Analysis of V2X Revocation Protocols
Jorden Whitefield, Liqun Chen, Frank Kargl +4
Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically,…
cs.SE2016
Symbolic Reachability Analysis of B through ProB and LTSmin
Jens Bendisposto, Philipp Koerner, Michael Leuschel +4
We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implement…