sptk2.m    *** client server ptks for level2 
SPTK2-CLASS inc SPTK-CLASS STM-IFACE CSP1-CLASS .  *** shared by client-server
  op stms : Oid -> Attribute .

SSPTK2-CLASS inc SSPTK-IFACE SPTK2-CLASS SSP1-CLASS .
  op SSPTK2 : -> Cid .
SSPTK2 inc SSPTK2-CLASS .

CSPTK2-CLASS inc CSPTK-IFACE SPTK2-CLASS
  op checksn : Bool -> Attribute .      *** checking attribute?
  op ts : Key -> Attribute .
  op CSPTK2 : -> Cid .
CSPTK2  inc CSPTK2-CLASS .

************************************************************
*** level 2 test configurations 
***       defines sptkobs cptkopbs aptkobs
***       defines STM key and permissions functions on test data

test2-ether.txt      *** ether attack model
TEST2-ETHER  inc TEST-ETHER  STM CSP1 SSP1 CSPTK2 SSPTK2 .

test2-lookup.txt      *** lookup attack model
TEST2-LOOKUP inc TEST-LOOKUP STM CSP1 SSP1 CSPTK2 SSPTK2 .

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

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