TY  - RPRT
TI  - A Temporal Logic of Security
AU  - Masoud Koleini
AU  - Michael R. Clarkson
AU  - Kristopher K. Micinski
PY  - 2013
UR  - https://arxiv.org/abs/1306.5678
ID  - 1306.5678
ER  -