The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given by...
Thread algebra is a semantics for recent object-oriented
programming languages [J.A. Bergstra and M.E. Loots,
(2002) 125–156; J.A. Bergstra and C.A. Middelburg, (2007)] such as C# and Java.
This paper shows that thread algebra
provides a process-algebraic framework for reasoning about and
classifying various standard notions of noninterference, an
important property in secure information flow. We will take the
noninterference property given by Volpano [D. Volpano, G. Smith...
Download Results (CSV)