FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127116715> ?p ?o ?g. }

• W2127116715 abstract "Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-based scheduling mechanism is less powerful than the traditional perfect-information scheduler. Moreover, one can speak of two types of complexity restrictions: time bounds on description of task-PIOAs and time bounds on length of schedules. This distinction, along with the flexibility of nondeterministic specifications, are interesting departures from existing formal frameworks for computational security. The current paper presents a new approximate implementation relation for task-PIOAs. This relation is transitive and is preserved under hiding of external actions. Also, it is shown to be preserved under concurrent composition, with any polynomial number of substitutions. Building upon this foundation, we present the notion of structures, which classifies communications into two categories: those with a distinguisher environment and those with an adversary. We then formulate secure emulation in the spirit of traditional simulation-based security, and a composition theorem follows as a corollary of the composition theorem for the new approximate implementation relation." @default.
• W2127116715 created "2016-06-24" @default.
• W2127116715 creator A5035682803 @default.
• W2127116715 creator A5036229923 @default.
• W2127116715 creator A5051808606 @default.
• W2127116715 creator A5061506240 @default.
• W2127116715 creator A5071944803 @default.
• W2127116715 date "2007-07-01" @default.
• W2127116715 modified "2023-09-23" @default.
• W2127116715 title "Compositional Security for Task-PIOAs" @default.
• W2127116715 cites W138290785 @default.
• W2127116715 cites W1480122568 @default.
• W2127116715 cites W1498342204 @default.
• W2127116715 cites W1499934958 @default.
• W2127116715 cites W1516996821 @default.
• W2127116715 cites W1531644305 @default.
• W2127116715 cites W1562901937 @default.
• W2127116715 cites W1749470914 @default.
• W2127116715 cites W1820789496 @default.
• W2127116715 cites W1913041503 @default.
• W2127116715 cites W1966212263 @default.
• W2127116715 cites W1994676271 @default.
• W2127116715 cites W2001539364 @default.
• W2127116715 cites W2003915781 @default.
• W2127116715 cites W2010939995 @default.
• W2127116715 cites W2029693536 @default.
• W2127116715 cites W2033766329 @default.
• W2127116715 cites W2058014492 @default.
• W2127116715 cites W2104655005 @default.
• W2127116715 cites W2119708968 @default.
• W2127116715 cites W2121635143 @default.
• W2127116715 cites W2121902202 @default.
• W2127116715 cites W2123837484 @default.
• W2127116715 cites W2126338744 @default.
• W2127116715 cites W2127222910 @default.
• W2127116715 cites W2144752539 @default.
• W2127116715 cites W2154568476 @default.
• W2127116715 cites W2156773905 @default.
• W2127116715 cites W2161670619 @default.
• W2127116715 cites W2168537649 @default.
• W2127116715 cites W2170634995 @default.
• W2127116715 cites W2400049039 @default.
• W2127116715 cites W2990399857 @default.
• W2127116715 cites W75368128 @default.
• W2127116715 cites W141094823 @default.
• W2127116715 cites W70596186 @default.
• W2127116715 doi "https://doi.org/10.1109/csf.2007.15" @default.
• W2127116715 hasPublicationYear "2007" @default.
• W2127116715 type Work @default.
• W2127116715 sameAs 2127116715 @default.
• W2127116715 citedByCount "4" @default.
• W2127116715 crossrefType "proceedings-article" @default.
• W2127116715 hasAuthorship W2127116715A5035682803 @default.
• W2127116715 hasAuthorship W2127116715A5036229923 @default.
• W2127116715 hasAuthorship W2127116715A5051808606 @default.
• W2127116715 hasAuthorship W2127116715A5061506240 @default.
• W2127116715 hasAuthorship W2127116715A5071944803 @default.
• W2127116715 hasBestOaLocation W21271167152 @default.
• W2127116715 hasConcept C11413529 @default.
• W2127116715 hasConcept C118615104 @default.
• W2127116715 hasConcept C120314980 @default.
• W2127116715 hasConcept C126255220 @default.
• W2127116715 hasConcept C154945302 @default.
• W2127116715 hasConcept C162324750 @default.
• W2127116715 hasConcept C165464430 @default.
• W2127116715 hasConcept C176181172 @default.
• W2127116715 hasConcept C178489894 @default.
• W2127116715 hasConcept C187736073 @default.
• W2127116715 hasConcept C206729178 @default.
• W2127116715 hasConcept C25343380 @default.
• W2127116715 hasConcept C2780012671 @default.
• W2127116715 hasConcept C2780451532 @default.
• W2127116715 hasConcept C33884865 @default.
• W2127116715 hasConcept C33923547 @default.
• W2127116715 hasConcept C38652104 @default.
• W2127116715 hasConcept C41008148 @default.
• W2127116715 hasConcept C41065033 @default.
• W2127116715 hasConcept C49937458 @default.
• W2127116715 hasConcept C77088390 @default.
• W2127116715 hasConcept C80444323 @default.
• W2127116715 hasConceptScore W2127116715C11413529 @default.
• W2127116715 hasConceptScore W2127116715C118615104 @default.
• W2127116715 hasConceptScore W2127116715C120314980 @default.
• W2127116715 hasConceptScore W2127116715C126255220 @default.
• W2127116715 hasConceptScore W2127116715C154945302 @default.
• W2127116715 hasConceptScore W2127116715C162324750 @default.
• W2127116715 hasConceptScore W2127116715C165464430 @default.
• W2127116715 hasConceptScore W2127116715C176181172 @default.
• W2127116715 hasConceptScore W2127116715C178489894 @default.
• W2127116715 hasConceptScore W2127116715C187736073 @default.
• W2127116715 hasConceptScore W2127116715C206729178 @default.
• W2127116715 hasConceptScore W2127116715C25343380 @default.
• W2127116715 hasConceptScore W2127116715C2780012671 @default.
• W2127116715 hasConceptScore W2127116715C2780451532 @default.
• W2127116715 hasConceptScore W2127116715C33884865 @default.
• W2127116715 hasConceptScore W2127116715C33923547 @default.
• W2127116715 hasConceptScore W2127116715C38652104 @default.
• W2127116715 hasConceptScore W2127116715C41008148 @default.
• W2127116715 hasConceptScore W2127116715C41065033 @default.
• W2127116715 hasConceptScore W2127116715C49937458 @default.

• next