Open AccessProcess algebra and non-interference
Author(s) -
Peter Y. A. Ryan,
Steve Schneider
Publication year - 2001
Publication title -
journal of computer security
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.201
H-Index - 56
eISSN - 1875-8924
pISSN - 0926-227X
DOI - 10.3233/jcs-2001-91-204
Subject(s) - process calculus , secrecy , computer science , equivalence (formal languages) , theoretical computer science , process (computing) , algebraic number , algebra over a field , mathematics , pure mathematics , programming language , computer security , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom