private void NSSKProtocol()
{
var nssk = new NSSKProtocol();
BanLogic = new BanLogic(nssk.InitialAssumptions, nssk.ProtocolSteps, nssk.Knowledge);
BanLogic.ProtocolStepsKnowledge();
textBoxRead.Text = "";
textBoxRead.Text = "NSSK Protocol";
WriteData();
}
private void KerberosProtocol()
{
var kerberos = new KerberosProtocol();
BanLogic = new BanLogic(kerberos.InitialAssumptions, kerberos.ProtocolSteps, kerberos.Knowledge);
BanLogic.ProtocolStepsKnowledge();
textBoxRead.Text = "";
textBoxRead.Text = "Kerberos Protocol";
WriteData();
}
private void AndrewSecureRpcProtocol()
{
var andrewSecureRpcProtocol = new AndrewSecureRpcProtocol();
BanLogic = new BanLogic(andrewSecureRpcProtocol.InitialAssumptions, andrewSecureRpcProtocol.ProtocolSteps, andrewSecureRpcProtocol.Knowledge);
BanLogic.ProtocolStepsKnowledge();
textBoxRead.Text = "";
textBoxRead.Text = "Andrew Secure RPC Protocol";
WriteData();
}