Open AccessProcess Algebra Contexts and Security Properties
Author(s) -
Damas P. Gruska
Publication year - 2010
Publication title -
fundamenta informaticae
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.311
H-Index - 67
eISSN - 1875-8681
pISSN - 0169-2968
DOI - 10.3233/fi-2010-297
Subject(s) - process calculus , algebra over a field , computer science , process (computing) , mathematics , theoretical computer science , programming language , pure mathematics
A general framework for defining security properties is presented. It allows us to model many traditional security properties as well as to define new ones. The framework is based on process algebras contexts and processes relations. By appropriate choice of both of them we can model also probabilistic and quantified security properties.
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