349 search results - page 24 / 70 » Compositional Security for Task-PIOAs |
CSFW
1992
IEEE
15 years 1 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
An authenticated encryption scheme is a symmetric encryption scheme whose goal is to provide both privacy and integrity. We consider two possible notions of authenticity for such ...
ASIACRYPT
2003
Springer
15 years 2 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
As a general design criterion, a symmetric key cipher should not be closed under functional composition due to the implications on the security of the cipher. However, there are s...