TY  - CHAP

T1  - Categorical Information Flow

T2  - The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

PY  - 2019/01/01

AU  - Rabehaja T

AU  - McIver A

AU  - Morgan C

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/978-3-030-31175-9_19

PB  - Springer International Publishing

SN  - 9783030311742

SP  - 329

EP  - 343

Y2  - 2024/12/25

ER  -