sptk0.m          *** loads ssptk0.m and csptk0.m which are separated for reuse
ssptk0.m         *** serverside PTK level0

SSPTK0-CLASS
  inc SSPTK-IFACE  SPTK-CLASS                  *** shared msg and iface
      CSP0-CLASS SSP0-CLASS                    *** create instances
  op SSPTK0 : -> Cid .

SSPTK0                       
  inc SSPTK0-CLASS 


csptk0.m         *** clientside PTK level0

CSPTK0-CLASS 
  inc CSPTK-IFACE SPTK-CLASS                   *** shared
      SP-CLASS                                 *** create
  op CSPTK0 : -> Cid .

CSPTK0 
  inc CSPTK0-CLASS 

************************************************************
sp0.m           *** client- and server-side level0 proxies

SSP0-CLASS inc SP-CLASS .
  op SSP0  : -> Cid .
SSP0  inc SSP0-CLASS .

CSP0-CLASS  inc SP-CLASS .
  op CSP0 : -> Cid .
CSP0 inc CSP0-CLASS .

************************************************************
*** level 0 test configurations -- defines sptkobs cptkopbs aptkobs
test0-ether.txt      *** ether attack model
                  
TEST0-ETHER  inc TEST-ETHER CSPTK0 SSPTK0 CSP0 SSP0 .

test0-lookup.txt      *** lookup attack model
TEST0-LOOKUP inc TEST-LOOKUP CSPTK0 SSPTK0 CSP0 SSP0 .

************************************************************
*** samples of rewriting test configurations
runs0-ether.txt
runs0-lookup.txt

************************************************************
*** search results for the test-suite search patterns (in ALL/test-<attack>.m)
search0-ether.txt
search0-lookup.txt