Analysing Applications Layered on Unilaterally Authenticating Protocols
Main Authors: | Gibson−Robinson, T, Lowe, G |
---|---|
Format: | Conference item |
Published: |
2011
|
Similar Items
-
Analysing Applications Layered on Unilaterally Authenticating Protocols
by: Gibson−Robinson, T, et al.
Published: (2011) -
Analysing Applications Layered on Unilaterally Authenticating Protocols.
by: Gibson-Robinson, T, et al.
Published: (2011) -
Analysing layered security protocols
by: Gibson-Robinson, T
Published: (2013) -
Analysing Layered Security Protocols
by: Gibson−Robinson, T
Published: (2013) -
Analysing a Stream Authentication Protocol Using Model Checking
by: Broadfoot, P, et al.
Published: (2002)