349 search results - page 1 / 70 » Compositional Security for Task-PIOAs |
124
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
152
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
105
Voted
DEDS
2008
15 years 3 months ago
2008
119
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
138
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...