?       status
?       6.1-Sym-Key-no-TTP/log/diff-AndrewSecureRPC.log
?       6.1-Sym-Key-no-TTP/log/diff-AndrewSecureRPCSecrecy.fp
?       6.1-Sym-Key-no-TTP/log/diff-NonReversible.fp
?       6.1-Sym-Key-no-TTP/log/diff-ISOsymKeyTwoPassUnilateralAuthProt.fp
?       6.1-Sym-Key-no-TTP/log/diff-ISOsymKeyOnePassUnilateralAuthProt.fp
?       6.1-Sym-Key-no-TTP/log/diff-ISOsymKeyTwoPassMutualAuthProt-Corr.fp
?       6.1-Sym-Key-no-TTP/log/diff-ISOsymKeyThreePassMutual.fp
?       6.6-Pub-Key-no-TTP/log/diff-Bilateral-Key_Exchange.fp
?       6.6-Pub-Key-no-TTP/log/diff-ISOpubKeyOnePassUnilateralAuthProt.fp
?       6.6-Pub-Key-no-TTP/log/diff-ISOpubKeyTwoPassMutualAuthProt-CORR.fp
?       6.6-Pub-Key-no-TTP/log/diff-ISOpubKeyTwoPassUnilateralAuthProt.fp
?       6.7-6.9-Pub-Key-TTP/log/diff-nsl-ks.fp
?       6.7-6.9-Pub-Key-TTP/log/diff-nspk.log
?       6.7-6.9-Pub-Key-TTP/log/new-nspk.log
?       6.7-6.9-Pub-Key-TTP/log/diff-Denning-Sacco-Corr.fp
?       6.7-6.9-Pub-Key-TTP/log/diff-nsl.fp
?       6.7-6.9-Pub-Key-TTP/log/diff-nspk-ks.log
?       6.7-6.9-Pub-Key-TTP/log/diff-Denning-Sacco.log
?       6.3-Sym-Key-TTP/log/diff-Denning-Sacco.fp
?       6.3-Sym-Key-TTP/log/diff-Amended-NSCK.fp
?       6.3-Sym-Key-TTP/log/diff-NSCK.fp
?       6.2-Auth-CCF/log/diff-ISOCCFOnePassUnilateralAuthProt.fp
?       6.2-Auth-CCF/log/diff-ISOCCFTwoPassMutualAuthProt-Corr.fp
?       6.2-Auth-CCF/log/diff-ISOCCFThreePassMutual.fp
?       6.2-Auth-CCF/log/diff-ISOCCFTwoPassUnilateralAuthProt.fp
