349 search results - page 1 / 70 » Compositional Security for Task-PIOAs |
CSFW
2007
IEEE
13 years 11 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...
IFIP
2010
Springer
12 years 11 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...
DEDS
2008
13 years 4 months ago
2008
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
SP
2002
IEEE
13 years 4 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...