I
nductive_
C
onfidentiality
Message
Event
Public
NS_Public_Bad
ConfidentialityDY
MessageGA
EventGA
PublicGA
NS_Public_Bad_GA
ConfidentialityGA
Knowledge