Login / Signup
Verifying Part of the ACCESS.bus Protocol Using PVS.
Jozef Hooman
Published in:
FSTTCS (1995)
Keyphrases
</>
data dissemination
access control
lightweight
theorem proving
authentication protocol
remote access
network protocols
model checking
formal analysis
security analysis
formal verification
cryptographic protocols
read write
coloured petri nets