FRINK Linked Data Fragments server

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

• W1549032290 abstract "Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. They are proposed for verification of cryptographic protocols. In this paper we introduce a general construction on probabilistic automata, called Conditional Automata, that allows us to remove safely events that occur with negligible probability. The construction is justified in terms of polynomially accurate simulations. This, combined with the hierarchical and compositional verification style that underlies simulation relations, permits one to abstract one cryptographic component at a time in a complex system. We illustrate our construction through a simple example based on nonce generation, where we remove the event of repeated nonces." @default.
• W1549032290 created "2016-06-24" @default.
• W1549032290 creator A5006624231 @default.
• W1549032290 creator A5074733161 @default.
• W1549032290 date "2010-01-01" @default.
• W1549032290 modified "2023-09-25" @default.
• W1549032290 title "Conditional Automata: A Tool for Safe Removal of Negligible Events" @default.
• W1549032290 cites W1499934958 @default.
• W1549032290 cites W1508967933 @default.
• W1549032290 cites W1562901937 @default.
• W1549032290 cites W1588200817 @default.
• W1549032290 cites W1658016212 @default.
• W1549032290 cites W2000302396 @default.
• W1549032290 cites W2001539364 @default.
• W1549032290 cites W2102632421 @default.
• W1549032290 cites W2121635143 @default.
• W1549032290 cites W2132107743 @default.
• W1549032290 cites W2136052444 @default.
• W1549032290 cites W2790189419 @default.
• W1549032290 cites W4240432851 @default.
• W1549032290 doi "https://doi.org/10.1007/978-3-642-15375-4_37" @default.
• W1549032290 hasPublicationYear "2010" @default.
• W1549032290 type Work @default.
• W1549032290 sameAs 1549032290 @default.
• W1549032290 citedByCount "0" @default.
• W1549032290 crossrefType "book-chapter" @default.
• W1549032290 hasAuthorship W1549032290A5006624231 @default.
• W1549032290 hasAuthorship W1549032290A5074733161 @default.
• W1549032290 hasConcept C110251889 @default.
• W1549032290 hasConcept C111472728 @default.
• W1549032290 hasConcept C111919701 @default.
• W1549032290 hasConcept C112505250 @default.
• W1549032290 hasConcept C11413529 @default.
• W1549032290 hasConcept C121332964 @default.
• W1549032290 hasConcept C134306372 @default.
• W1549032290 hasConcept C136643341 @default.
• W1549032290 hasConcept C138885662 @default.
• W1549032290 hasConcept C148730421 @default.
• W1549032290 hasConcept C154945302 @default.
• W1549032290 hasConcept C168167062 @default.
• W1549032290 hasConcept C17744445 @default.
• W1549032290 hasConcept C178489894 @default.
• W1549032290 hasConcept C199539241 @default.
• W1549032290 hasConcept C2776359362 @default.
• W1549032290 hasConcept C2779662365 @default.
• W1549032290 hasConcept C2780586882 @default.
• W1549032290 hasConcept C33884865 @default.
• W1549032290 hasConcept C33923547 @default.
• W1549032290 hasConcept C34388435 @default.
• W1549032290 hasConcept C41008148 @default.
• W1549032290 hasConcept C45374587 @default.
• W1549032290 hasConcept C49937458 @default.
• W1549032290 hasConcept C62520636 @default.
• W1549032290 hasConcept C80444323 @default.
• W1549032290 hasConcept C94625758 @default.
• W1549032290 hasConcept C97355855 @default.
• W1549032290 hasConcept C9996903 @default.
• W1549032290 hasConceptScore W1549032290C110251889 @default.
• W1549032290 hasConceptScore W1549032290C111472728 @default.
• W1549032290 hasConceptScore W1549032290C111919701 @default.
• W1549032290 hasConceptScore W1549032290C112505250 @default.
• W1549032290 hasConceptScore W1549032290C11413529 @default.
• W1549032290 hasConceptScore W1549032290C121332964 @default.
• W1549032290 hasConceptScore W1549032290C134306372 @default.
• W1549032290 hasConceptScore W1549032290C136643341 @default.
• W1549032290 hasConceptScore W1549032290C138885662 @default.
• W1549032290 hasConceptScore W1549032290C148730421 @default.
• W1549032290 hasConceptScore W1549032290C154945302 @default.
• W1549032290 hasConceptScore W1549032290C168167062 @default.
• W1549032290 hasConceptScore W1549032290C17744445 @default.
• W1549032290 hasConceptScore W1549032290C178489894 @default.
• W1549032290 hasConceptScore W1549032290C199539241 @default.
• W1549032290 hasConceptScore W1549032290C2776359362 @default.
• W1549032290 hasConceptScore W1549032290C2779662365 @default.
• W1549032290 hasConceptScore W1549032290C2780586882 @default.
• W1549032290 hasConceptScore W1549032290C33884865 @default.
• W1549032290 hasConceptScore W1549032290C33923547 @default.
• W1549032290 hasConceptScore W1549032290C34388435 @default.
• W1549032290 hasConceptScore W1549032290C41008148 @default.
• W1549032290 hasConceptScore W1549032290C45374587 @default.
• W1549032290 hasConceptScore W1549032290C49937458 @default.
• W1549032290 hasConceptScore W1549032290C62520636 @default.
• W1549032290 hasConceptScore W1549032290C80444323 @default.
• W1549032290 hasConceptScore W1549032290C94625758 @default.
• W1549032290 hasConceptScore W1549032290C97355855 @default.
• W1549032290 hasConceptScore W1549032290C9996903 @default.
• W1549032290 hasLocation W15490322901 @default.
• W1549032290 hasOpenAccess W1549032290 @default.
• W1549032290 hasPrimaryLocation W15490322901 @default.
• W1549032290 hasRelatedWork W1549106514 @default.
• W1549032290 hasRelatedWork W1561331110 @default.
• W1549032290 hasRelatedWork W1577626490 @default.
• W1549032290 hasRelatedWork W1988808695 @default.
• W1549032290 hasRelatedWork W2020803470 @default.
• W1549032290 hasRelatedWork W2073874233 @default.
• W1549032290 hasRelatedWork W2295849114 @default.
• W1549032290 hasRelatedWork W2399043040 @default.
• W1549032290 hasRelatedWork W2501292226 @default.
• W1549032290 hasRelatedWork W2557666292 @default.
• W1549032290 hasRelatedWork W2588946677 @default.

• next