Changes between Version 17 and Version 18 of ExDescLang


Ignore:
Timestamp:
Oct 11, 2010 2:11:11 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExDescLang

    v17 v18  
    4040
    4141Dimensions:
    42  * Logical topology:
     42 * '''Logical topology:'''
    4343   [[Image(wormobj.jpg)]]
    4444   (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: '''
    4646   [[Image(wormwf.jpg)]]
    4747   (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).
     
    5050     * infection event at B executes some code that places a copy of malware at B with ability to auto-start
    5151
    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.