menu
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
menu [2018/11/20 12:33] 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 51: | Line 53: | ||
| * [[leaks-when-analysis|SQL Leaks-when analyser]] | * [[leaks-when-analysis|SQL Leaks-when analyser]] | ||
| * [[bpmn-leaks-when-analysis|BPMN Leaks-when analyser]] | * [[bpmn-leaks-when-analysis|BPMN Leaks-when analyser]] | ||
| - | * [[sql-derivative-sensitivity-analyser|SQL derivative sensitivity analyser]] | + | * [[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]] | * [[research | Research papers]] | ||
menu.1542710007.txt.gz · Last modified: 2019/10/01 13:53 (external edit)
Page Tools
