Changes between Version 17 and Version 18 of ExDescLang
- Timestamp:
- Oct 11, 2010 2:11:11 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExDescLang
v17 v18 40 40 41 41 Dimensions: 42 * Logical topology:42 * '''Logical topology:''' 43 43 [[Image(wormobj.jpg)]] 44 44 (in English: There must be two sets of hosts, at least one infected host in infected set and at least one vulnerable host in vulnerable set. There can be a third set of hosts that are not vulnerable or infected.) 45 * Timeline of events:45 * '''Timeline of events: ''' 46 46 [[Image(wormwf.jpg)]] 47 47 (in English: Each infected host generates scan events that target a vulnerable host - double line means one object acts upon another. There is at least one such event for a vulnerable host and at least one pair of scan+vulnerable host in the experiment. Once an infection event occurs on vulnerable host it transitions to an infected state. An infected host may scan other, non-vulnerable hosts). … … 50 50 * infection event at B executes some code that places a copy of malware at B with ability to auto-start 51 51 52 * Invariants: 53 54 There are some in definition of topology and timeline above. No additional ones are needed here. 52 * '''Invariants:''' There are some in definition of topology and timeline above. No additional ones are needed here.