NSL-authentication-property{i:l}(sth) ==
NSL-protocol |= NSL-initiator3 authenticates 2 messages
NSL-protocol |= NSL-responder3 authenticates 3 messages
Definitions :
and: P Q,
NSL-initiator3: NSL-initiator3,
authentication: prtcl |= bs authenticates n messages ,
NSL-protocol: NSL-protocol,
NSL-responder3: NSL-responder3,
sth-es: sth-es(s),
natural_number: $n
FDL editor aliases :
NSL-authentication-property
NSL-authentication-property\{i:l\}(sth) ==
NSL-protocol |= NSL-initiator3 authenticates 2 messages
\mwedge{} NSL-protocol |= NSL-responder3 authenticates 3 messages
Date html generated:
2010_08_28-AM-11_51_45
Last ObjectModification:
2010_04_22-PM-06_55_17
Home
Index