Changes between Version 39 and Version 40 of ExDescLang
- Timestamp:
- Oct 14, 2010 4:30:42 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExDescLang
v39 v40 78 78 [[Image(wp2pcomb.jpg)]] 79 79 80 i.e. each infected host becomes elpeer.80 i.e. each infected host becomes a peer. 81 81 82 82 The system now needs to offer me several generators: 83 83 84 84 * It should offer a topology generator and map the initial infected set, vulnerable set and leader set to the topology that gets generated. 85 * It should offer event generator for each of the events: scan, infection, yespeer, wannapeer, leaderis, cmd and report. Specifically for scan, yespeer, wannapeer, cmd and report it should offer traffic generators. For infection it should offer malware generator. For leaderis it could either offer a traffic generator or an option to hardcode the leader ID into the peer software. 85 * It should offer event generator for each of the events: scan, yespeer, wannapeer, leaderis, hello, cmd and report. Specifically for scan, yespeer, wannapeer, hello, cmd and report it should offer traffic generators. For leaderis it could either offer a traffic generator or an option to hardcode the leader ID into the peer software. 86 * It should offer a malware generator for vulnerability x 86 87 87 88 User either chooses each generator or agrees to use a default one for each choice. User can then manipulate the generators (their parameters) and the workflow. For example the user may add "patched" state after the "infected" one with the "patch" event to make the transition. … … 98 99 [[Image(cpobj.jpg)]] 99 100 100 (in English: There are attacker and legitimate client nodes, one each. There is one true resource and one fake resource, both are of type Info which means that they are a piece of text someone gives to the legitimate client when it asks for that resource. A cache is simply a collection of Info items, one ore more. Attacker and leg. client are different nodes, and trueresource is different than fakeresource. Cache does not reside at the attacker.)101 (in English: There is one attacker node. There is one fake resource, of type Info which means that it is a piece of text that is given to someone upon request. A cache is simply a collection of Info items, one or more. Cache does not reside at the attacker.) 101 102 102 103 103 104 * '''Timeline of events: ''' 104 105 105 106 [[Image(cpwf.jpg)]] 106 107 107 108 * '''Invariants:'''