Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C E F G H I L S T W

A
Attack patterns	A state machine system for insider threat detection
attack trees	Deciding the Emptiness of Attack trees On Linear Logic, Functional Programming, and Attack Trees The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
B
Bayesian network	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Bitcoin	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
Business Process Model	Disclosure Analysis of SQL Workflows
C
Complexity Theory	Deciding the Emptiness of Attack trees
Crime tracing	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
Cybercrime	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
E
embedded domain specific language	On Linear Logic, Functional Programming, and Attack Trees
extensive-form games	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
F
Fishbone diagram	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
four-valued logic	On Linear Logic, Functional Programming, and Attack Trees
functional programming	On Linear Logic, Functional Programming, and Attack Trees
G
Game semantics	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
H
Haskell	On Linear Logic, Functional Programming, and Attack Trees
I
Information Disclosure Analysis	Disclosure Analysis of SQL Workflows
Insider threat	A state machine system for insider threat detection
Intentional attack	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
L
Lina	On Linear Logic, Functional Programming, and Attack Trees
linear logic	On Linear Logic, Functional Programming, and Attack Trees The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
S
safety	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Security	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
semantics	On Linear Logic, Functional Programming, and Attack Trees
SQL	Disclosure Analysis of SQL Workflows
T
Technical failure	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Transition systems	Deciding the Emptiness of Attack trees
Tripwires	A state machine system for insider threat detection
W
Workflow	Disclosure Analysis of SQL Workflows