Add to ORKGAbstract: Confidentiality of certain parameters is an essential security requirement for many security sensitive applications. In terms of formal language theory we introduce the notion of parameter-confidentiality relative to an agent’s knowledge about the system. By considering publicly known dependencies of parameter values, exact specifications of the required confidentiality properties are possible. The new notion complements previous concepts of non-interference, secrecy and indistinguishability
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
AbstractThese notes discuss secrecy properties of programs from the perspective of programming-langu...
We introduce the notion of parameterised anonymity, to formalize the anonymity property of protocols...
Kevin O'Neill's Ph.D. DissertationWhen building systems that guarantee confidentiality, system desig...
Growing attention is being paid to application security at requirements engineering time. Confidenti...
Language-based information flow methods offer a principled way to enforcestrong security properties,...
Uniform parameterisations of cooperations are defined in terms of formal language theory, such that ...
We develop a condition for confidentiality-preserving refinement which is both necessary and suffici...
\u3cp\u3eGuaranteeing that information processed in computing systems remains confidential is vital ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
This document contains the full theory files accompanying article “Inductive Study of Confidentialit...
AbstractLanguage-based approaches to information security have led to the development of security ty...
Language-based approaches to information security have led to the development of security type syste...
Language-based approaches to information security have led to the development of security type syste...
Abstract—The relationship of two or more objects that does not be depends on each other. It is the m...
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
AbstractThese notes discuss secrecy properties of programs from the perspective of programming-langu...
We introduce the notion of parameterised anonymity, to formalize the anonymity property of protocols...
Kevin O'Neill's Ph.D. DissertationWhen building systems that guarantee confidentiality, system desig...
Growing attention is being paid to application security at requirements engineering time. Confidenti...
Language-based information flow methods offer a principled way to enforcestrong security properties,...
Uniform parameterisations of cooperations are defined in terms of formal language theory, such that ...
We develop a condition for confidentiality-preserving refinement which is both necessary and suffici...
\u3cp\u3eGuaranteeing that information processed in computing systems remains confidential is vital ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
This document contains the full theory files accompanying article “Inductive Study of Confidentialit...
AbstractLanguage-based approaches to information security have led to the development of security ty...
Language-based approaches to information security have led to the development of security type syste...
Language-based approaches to information security have led to the development of security type syste...
Abstract—The relationship of two or more objects that does not be depends on each other. It is the m...
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
AbstractThese notes discuss secrecy properties of programs from the perspective of programming-langu...
We introduce the notion of parameterised anonymity, to formalize the anonymity property of protocols...