*** jvm.m
CONFIG                                   *** object syntax
DATA                                     *** Data DataX
JCONF inc CONFIG  NAT                    *** JObject msgs, atts
PROXY-DESCRIPTION inc CONFIG DATA        *** ProxyD      
ETHER-CLASS inc JCONF                    *** EtherCid, inQ outQ jvm transport
TRANSMITTER inc ETHER-CLASS              *** Transmission rules
JVM-IFACE inc JCONF                      *** myJVM newIdReq newIdReply
JVM-CLASS inc JVM-IFACE                  *** JVM cid and atts
JVM inc JVM-CLASS inc ETHER-CLASS        *** jvm service rules

*** svctable.m
SERVICE-TABLE inc STRING DATA            *** ServiceEntry ServiceTable

*** attackaux.m
ATTACKER-AUX  inc STRING DATA            *** StringSet DataSet

*** svc.m  
*** abstract service model
SVC-IFACE inc JCONF STRING DATA          *** svcReq  svcReply
SVC-CLASS inc SVC-IFACE                  *** SVC Cid state
SVC inc SVC-CLASS                        *** SVC rules

*** lookup-iface.m
LOOKUP-IFACE inc JCONF STRING DATA       *** registerReq  registerReply
                                         *** lookupReq lookupOk  lookupFail

*** sptk.m
****** minimal proxy 
SP-IFACE inc SVC-IFACE                   *** common msgs: svcReq 
SP-CLASS inc SP-IFACE                    *** common atts: svc clientId sname

****** common SPTK features
SPTK-IFACE inc LOOKUP-IFACE JVM-IFACE 
SPTK-CLASS inc SPTK-IFACE                *** common atts: lookup

****** server side
SSPTK-IFACE inc SPTK-IFACE               *** spRegisterReq 
****** client side
CSPTK-IFACE  inc SPTK-IFACE              *** findServiceReq 
                                         *** findServiceOk findServiceFailed

*** app.m 
*** abstract application -- to drive scenarios
APP-IFACE inc CSPTK-IFACE SVC-IFACE SP-IFACE 
                                         *** svcCall svcNotFound svcAns
APP-CLASS inc APP-IFACE                  *** Cid: APP atts: svcFound, mytk
APP inc APP-CLASS                        *** APP rules

*** stm.m
*** security and trust management 
STM-IFACE inc JCONF STRING DATA          *** Sorts: Policy Key Cred Permissions
                                         *** Msgs: 
                                         **** checkClientReq  checkClientReply
                                         **** signReq  signReply  verifySigReq 
                                         **** verifySigOk verifySigFail
                                         **** encryptReq  encryptReply
                                         **** decryptReq decryptReply
STM-CLASS inc STM-IFACE                  *** Cid: STM Atts: pkey skey policy
STM inc STM-CLASS                        *** STM rules


*** test.m
*** common constants for test configs
TEST inc JVM SVC TRANSMITTER SSPTK-IFACE CSPTK-IFACE APP .
                                         

********************* Ether attack model *************************************
*** lookup.m
*** naive registry and lookup service
LOOKUP-CLASS inc LOOKUP-IFACE SERVICE-TABLE 
                                         *** LOOKUP Cid svctable
LOOKUP inc LOOKUP-CLASS                  *** LOOKUP rules
 

*** attacker-ether.m
ATTACKER-CLASS inc ATTACKER-AUX LOOKUP-IFACE  ETHER-CLASS  SVC-CLASS 
                                         *** Cid: Attacker 
                                         *** Atts: clientIds clientDs pxDs
ATTACKER inc ATTACKER-CLASS 

*** test-ether 
*** additional constants for ether test configs and properties to test
TEST-ETHER inc TEST ATTACKER LOOKUP 
                                         

********************* Lookup attack model *************************************
*** attacker-lookup.m
ATTACKER-LOOKUP-CLASS inc LOOKUP-IFACE ATTACKER-AUX 
                                         *** Cid: AttackerLookup
                                         *** Atts: svcSet mySvcSet attackeeSet
                                         ***       myCPTK mySPTK 
ATTACKER-LOOKUP inc ATTACKER-LOOKUP-CLASS *** AttackerLookup rules

*** attacker-app.m
ATTACKER-APP inc CSPTK-IFACE SVC-IFACE  SP-IFACE 
                                         *** Cid: AttackerApp
                                         *** Atts: myCall myTK mySn

*** test-lookup.m
*** additional constants for lookup test configs and properties to test
TEST-LOOKUP inc TEST ATTACKER-LOOKUP