Nuprl Definition : NSL-authentication-property
NSL-authentication-property{i:l}(sth) ==
NSL-protocol |= NSL-initiator3 authenticates 2 messages ∧ NSL-protocol |= NSL-responder3 authenticates 3 messages
Definitions occuring in Statement :
NSL-protocol: NSL-protocol,
NSL-responder3: NSL-responder3,
NSL-initiator3: NSL-initiator3,
authentication: prtcl |= bs authenticates n messages ,
sth-es: sth-es(s),
and: P ∧ Q,
natural_number: $n
FDL editor aliases :
NSL-authentication-property
Latex:
NSL-authentication-property\{i:l\}(sth) ==
NSL-protocol |= NSL-initiator3 authenticates 2 messages
\mwedge{} NSL-protocol |= NSL-responder3 authenticates 3 messages
Date html generated:
2015_07_23-PM-00_26_30
Last ObjectModification:
2012_08_30-PM-05_49_15
Home
Index