References of "Tiu, Alwen"
     in
Bookmark and Share    
Full Text
See detailThe Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
Horne, Ross James UL; Mauw, Sjouke UL; Tiu, Alwen

Scientific Conference (2018, July 08)

Detailed reference viewed: 63 (8 UL)
Full Text
Peer Reviewed
See detailQuasi-Open Bisimilarity with Mismatch is Intuitionistic
Horne, Ross James UL; Ahn, Ki Yung; Lin, Shang-wei et al

in Proceedings of LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 9-12, 2018 (LICS '18) (2018)

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This ... [more ▼]

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This minimal extension of quasi-open bisimilarity allows fresh names to be manufactured to provide constructive evidence that an inequality holds. The extension of quasi-open bisimilarity is canonical and robust --- coinciding with open barbed bisimilarity (an objective notion of bisimilarity congruence) and characterised by an intuitionistic variant of an established modal logic. The more famous open bisimilarity is also considered, for which the coarsest extension for handling mismatch is identified. Applications to checking privacy properties are highlighted. Examples and soundness results are mechanised using the proof assistant Abella. [less ▲]

Detailed reference viewed: 43 (1 UL)
Full Text
Peer Reviewed
See detailA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James UL; Tiu, Alwen

in 28th International Conference on Concurrency Theory (CONCUR 2017). (2017)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailSemantics for specialising attack trees based on linear logic
Horne, Ross; Mauw, Sjouke UL; Tiu, Alwen

in Fundamenta Informaticae (2017), 153(1-2), 57-86

Attack trees profile the sub-goals of the proponent of an attack. Attack trees have a variety of semantics depending on the kind of question posed about the attack, where questions are captured by an ... [more ▼]

Attack trees profile the sub-goals of the proponent of an attack. Attack trees have a variety of semantics depending on the kind of question posed about the attack, where questions are captured by an attribute domain. We observe that one of the most general semantics for attack trees, the multiset semantics, coincides with a semantics expressed using linear logic propositions. The semantics can be used to compare attack trees to determine whether one attack tree is a specialisation of another attack tree. Building on these observations, we propose two new semantics for an extension of attack trees named causal attack trees. Such attack trees are extended with an operator capturing the causal order of sub-goals in an attack. These two semantics extend the multiset semantics to sets of series-parallel graphs closed under certain graph homomorphisms, where each semantics respects a class of attribute domains. We define a sound logical system with respect to each of these semantics, by using a recently introduced extension of linear logic, called MAV , featuring a non-commutative operator. The non-commutative operator models causal dependencies in causal attack trees. Similarly to linear logic for attack trees, implication defines a decidable preorder for specialising causal attack trees that soundly respects a class of attribute domains. [less ▲]

Detailed reference viewed: 129 (0 UL)
Full Text
Peer Reviewed
See detailSPEC: An Equivalence Checker for Security Protocols
Tiu, Alwen; Nguyen, Nam; Horne, Ross James UL

in Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings (2016)

Detailed reference viewed: 36 (0 UL)
Full Text
Peer Reviewed
See detailPrivate Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)

Detailed reference viewed: 13 (0 UL)