This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
menu [2018/05/21 12:10] pullonen |
menu [2020/03/30 21:24] (current) pullonen |
||
---|---|---|---|
Line 1: | Line 1: | ||
* [[pleak|PLEAK]] | * [[pleak|PLEAK]] | ||
* [[pleak|PLEAK]] | * [[pleak|PLEAK]] | ||
+ | * [[quick-guide| Quick Guide]] | ||
* [[pleak-installation|Installation]] | * [[pleak-installation|Installation]] | ||
* [[pleak-frontend|Frontend]] | * [[pleak-frontend|Frontend]] | ||
* [[pleak-frontend_features|Features]] | * [[pleak-frontend_features|Features]] | ||
* [[pleak-backend|Backend]] | * [[pleak-backend|Backend]] | ||
- | * [[pe-bpmn-editor|PE-BPMN editor]] | + | * [[pe-bpmn-editor|PE-BPMN]] |
- | * [[pe-bpmn-editor_pebpmn|PE-BPMN]] | + | * [[pe-bpmn-editor_pebpmn|PE-BPMN language]] |
+ | * [[pe-bpmn-editor_simpledisclosure|Analysis]] | ||
* [[pe-bpmn-editor_stereotypes|Stereotypes]] | * [[pe-bpmn-editor_stereotypes|Stereotypes]] | ||
* --- Task --- | * --- Task --- | ||
Line 49: | Line 51: | ||
* [[pe-bpmn-editor_restrictions|Restrictions & validation]] | * [[pe-bpmn-editor_restrictions|Restrictions & validation]] | ||
* [[sql-privacy-analyser|SQL global sensitivity analyser]] | * [[sql-privacy-analyser|SQL global sensitivity analyser]] | ||
- | * [[leaks-when-analysis|Leaks-when analyser]] | + | * [[leaks-when-analysis|SQL Leaks-when analyser]] |
- | * [[sql-derivative-sensitivity-analyser|SQL derivative sensitivity analyser]] | + | * [[bpmn-leaks-when-analysis|BPMN Leaks-when analyser]] |
- | * [[research | Research papers]] | + | * [[sql-derivative-sensitivity-analyser|SQL combined sensitivity analyser]] |
+ | * [[sql-derivative-sensitivity-analyser_install|Installation guide]] | ||
+ | * [[sql-derivative-sensitivity-analyser_advanced|Advanced settings]] | ||
+ | * [[sql-guessing-advantage-analyser|SQL guessing advantage analyser]] | ||
+ | * [[sql-derivative-sensitivity-analyser_demo|SQL sensitivity and guessing advantage example model]] | ||
+ | * [[Composition-modeler| Composition Modeler]] | ||
+ | * [[leakage-detection| Leakage Detection]] | ||
+ | * [[research | Research papers]] |