<--- Back to Details
First PageDocument Content
Computer science / Applied mathematics / Simulation / Dev / Advanced persistent threat / Cyberwarfare / Computer security / SP-DEVS / Finite & Deterministic Discrete Event System Specification / Automata theory / DEVS / Security
Date: 2015-05-11 16:42:45
Computer science
Applied mathematics
Simulation
Dev
Advanced persistent threat
Cyberwarfare
Computer security
SP-DEVS
Finite & Deterministic Discrete Event System Specification
Automata theory
DEVS
Security

Poster: Modeling of APT Attacks through Transforming Attack Scenarios into DEVS Models Jiyeon Kim Hyung-Jong Kim

Add to Reading List

Source URL: www.ieee-security.org

Download Document from Source Website

File Size: 492,18 KB

Share Document on Facebook

Similar Documents

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK  PrePost 2017

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang  Department of Computer Science

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

DocID: 1xVYc - View Document

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document