Using Interval Logics for Temporal Analysis of Security Protocols

Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows
Publication: Research - peer-review › Journal article – Annual report year: 2013
A collaborative approach to botnet protection
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Guest Editor’s foreword
Publication: Research › Editorial – Annual report year: 2012
Quantitative analysis of probabilistic BPMN workflows
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Using Stochastic Model Checking to Provision Complex Business Services
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Author: Hansen, Michael Reichhardt
Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Author: Sharp, Robin
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Editor: Backes et a., Michael

Original language	English
Title	First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)
Publisher	ACM Press
Publication date	2003
Pages	24-31
State	Published

ID: 2787596

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows