Changes between Version 27 and Version 28 of ExDescLang
- Timestamp:
- Oct 11, 2010 3:37:17 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExDescLang
v27 v28 32 32 I'll now ignore the question '''which language to use to design experiments''' because I think that pretty much any language can be used once we know '''what we want to say'''. To figure this out I'll try to use a mix of FSA (finite state automata) and protocol diagrams, and Arun's adaptation of TLA (temporal logic algebra) to describe example experiments from above. If the level of detail is right we can decide on appropriate language in the next step. 33 33 34 == Example 1: botnet ==34 == Example 1: Botnet == 35 35 36 36 This example used two metadescriptions. Let's go through each of them: … … 91 91 92 92 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. 93 94 == Example 2: DNS cache poisoning for phishing == 95
