E-LIB Suche - Ergebnisse für: Horne, Ross

1

XACML2mCRL2 : automatic transformation of XACML policies in..:

Arshad, Hamed ; Horne, Ross ; Johansen, Christian..
https://strathprints.strath.ac.uk/87145/1/Arshad-etal-SCP-2023-XACML2mCRL2-automatic-transformation-of-XACML-policies-into-mCRL2-specifications.pdf. , 2024

Link: https://strathprints.str..

2

Assessing the solid protocol in relation to security and pr..:

Esposito, Christian ; Horne, Ross ; Robaldo, Livio..
https://strathprints.strath.ac.uk/86790/1/Esposito_etal_Information_2023_Assessing_the_solid_protocol_in_relation_to_security_and_privacy.pdf. , 2023

Link: https://strathprints.str..

3

A logical account of subtyping for session types:

Horne, Ross ; Padovani, Luca
https://strathprints.strath.ac.uk/87706/1/Horne-Padovani-EPTCS-2023-A-logical-account-of-subtyping-for-session-types.pdf. , 2023

Link: https://strathprints.str..

4

Provably Unlinkable Smart Card-based Payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
http://arxiv.org/abs/2309.03128. , 2023

Link: http://arxiv.org/abs/230..

5

Provably unlinkable smart card-based payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86881/1/Bursuc_etal_arXiv_2023_Provably_unlinkable_smart_card_based_payments.pdf. , 2023

Link: https://strathprints.str..

6

A Logical Account of Subtyping for Session Types:

Horne, Ross ; Padovani, Luca
http://arxiv.org/abs/2304.06398. , 2023

Link: http://arxiv.org/abs/230..

7

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://inria.hal.scienc..

8

Bisimulations Respecting Duration and Causality for the Non..:

Aubert, Clément ; Horne, Ross ; Johansen, Christian
http://arxiv.org/abs/2209.05231. , 2022

Link: http://arxiv.org/abs/220..

9

Diamonds for security : a non-interleaving operational sema..:

Aubert, Clément ; Horne, Ross ; Johansen, Christian
https://strathprints.strath.ac.uk/86951/1/Aubert_etal_CONCUR_2022_Diamonds_for_security.pdf. , 2022

Link: https://strathprints.str..

10

A graphical proof theory of logical time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86952/1/Acclavio_etal_FSCD_2022_A_graphical_proof_theory_of_logical_time.pdf. , 2022

Link: https://strathprints.str..

11

Bisimulations respecting duration and causality for the non..:

Aubert, Clément ; Horne, Ross ; Johansen, Christian
https://strathprints.strath.ac.uk/87705/1/Aubert-etal-EPTCS-2022-Bisimulations-respecting-duration-and-causality-for-the-non-interleaving-applied-pi-calculus.pdf. , 2022

Link: https://strathprints.str..

12

Assessing the Solid Protocol in Relation to Security & Priv..:

Esposito, Christian ; Hartig, Olaf ; Horne, Ross.
http://arxiv.org/abs/2210.08270. , 2022

Link: http://arxiv.org/abs/221..

13

An analytic propositional proof system on graphs:

Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz
https://strathprints.strath.ac.uk/86876/1/Acclavio_etal_LMCS_2022_An_analytic_propositional_proof_system_on_graphs.pdf. , 2022

Link: https://strathprints.str..

14

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke
doi:10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://doi.org/10.4230/..

15

An Analytic Propositional Proof System On Graphs:

Acclavio, Matteo ; Horne, Ross ; Strassburger, Lutz
info:eu-repo/semantics/altIdentifier/doi/10.46298/LMCS-18(4:1)2022. , 2022

Link: https://inria.hal.scienc..