Property-part diagrams: A dependence notation for software systems

by Jackson, Daniel, Kang, Eunsuk
Published 2011

Patterns for building dependable systems with trusted bases

by Kang, Eunsuk, Jackson, Daniel
Published 2014

Separation of concerns for dependable software design

by Jackson, Daniel, Kang, Eunsuk
Published 2011

Dependability arguments with trusted bases

by Kang, Eunsuk, Jackson, Daniel
Published 2011

Multi-representational security analysis

by Kang, Eunsuk, Milicevic, Aleksandar, Jackson, Daniel
Published 2018

Designing minimal effective normative systems with the help of lightweight formal methods

by Hao, Jianye, Kang, Eunsuk, Sun, Jun, Jackson, Daniel
Published 2018

A formal approach for detection of security flaws in the android permission system

by Bagheri, Hamid, Kang, Eunsuk, Malek, Sam, Jackson, Daniel
Published 2018

A lightweight code analysis and its role in evaluation of a dependability case

by Near, Joseph Paul, Milicevic, Aleksandar, Kang, Eunsuk, Jackson, Daniel
Published 2012

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver

by Milicevic, Aleksandar, Near, Joseph Paul, Kang, Eunsuk, Jackson, Daniel
Published 2018

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification

by Bagheri, Hamid, Kang, Eunsuk, Jackson, Daniel N., Malek, Sam
Published 2019

Model-based security analysis of a water treatment system

by Kang, Eunsuk, Adepu, Sridhar, Jackson, Daniel, Mathur, Aditya P.
Published 2018