Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132938106> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2132938106 endingPage "26" @default.
- W2132938106 startingPage "4" @default.
- W2132938106 abstract "We consider a problem of automated orchestration of security-aware services under additional constraints. The problem of finding a mediator to compose secured services has been reduced in previous works to the problem of solving deducibility constraints similar to those employed for cryptographic protocol analysis. We extend in this paper the mediator synthesis procedure (i.e. a solution for the orchestration problem) by allowing additional non-disclosure policies that express the fact that some data is not accessible to the mediator at a given point of its execution. We present a decision procedure that answers the question whether a mediator satisfying these policies can be effectively synthesized. The approach presented in this work extends the constraint solving procedure for cryptographic protocol analysis in a significant way as to be able to handle negation of deducibility constraints. It applies to all subterm convergent theories and therefore covers several interesting theories in formal security analysis including encryption, hashing, signature and pairing; it is also expressive enough for some RBAC policies. A variant of this procedure for Dolev Yao theory has been implemented in Cl-Atse, a protocol analysis tool based on constraint solving." @default.
- W2132938106 created "2016-06-24" @default.
- W2132938106 creator A5010375037 @default.
- W2132938106 creator A5027816274 @default.
- W2132938106 creator A5076479770 @default.
- W2132938106 creator A5084531640 @default.
- W2132938106 date "2017-05-01" @default.
- W2132938106 modified "2023-10-14" @default.
- W2132938106 title "Intruder deducibility constraints with negation. Decidability and application to secured service compositions" @default.
- W2132938106 cites W1973745704 @default.
- W2132938106 cites W1988031826 @default.
- W2132938106 cites W2009426964 @default.
- W2132938106 cites W2029693536 @default.
- W2132938106 cites W2029823531 @default.
- W2132938106 cites W2060349224 @default.
- W2132938106 cites W2119153084 @default.
- W2132938106 cites W2155993098 @default.
- W2132938106 doi "https://doi.org/10.1016/j.jsc.2016.07.008" @default.
- W2132938106 hasPublicationYear "2017" @default.
- W2132938106 type Work @default.
- W2132938106 sameAs 2132938106 @default.
- W2132938106 citedByCount "2" @default.
- W2132938106 countsByYear W21329381062014 @default.
- W2132938106 countsByYear W21329381062020 @default.
- W2132938106 crossrefType "journal-article" @default.
- W2132938106 hasAuthorship W2132938106A5010375037 @default.
- W2132938106 hasAuthorship W2132938106A5027816274 @default.
- W2132938106 hasAuthorship W2132938106A5076479770 @default.
- W2132938106 hasAuthorship W2132938106A5084531640 @default.
- W2132938106 hasBestOaLocation W21329381061 @default.
- W2132938106 hasConcept C142362112 @default.
- W2132938106 hasConcept C142724271 @default.
- W2132938106 hasConcept C148730421 @default.
- W2132938106 hasConcept C153269930 @default.
- W2132938106 hasConcept C153349607 @default.
- W2132938106 hasConcept C15927051 @default.
- W2132938106 hasConcept C178489894 @default.
- W2132938106 hasConcept C199168358 @default.
- W2132938106 hasConcept C199360897 @default.
- W2132938106 hasConcept C204787440 @default.
- W2132938106 hasConcept C2185349 @default.
- W2132938106 hasConcept C2524010 @default.
- W2132938106 hasConcept C2776036281 @default.
- W2132938106 hasConcept C2780385302 @default.
- W2132938106 hasConcept C33884865 @default.
- W2132938106 hasConcept C33923547 @default.
- W2132938106 hasConcept C38652104 @default.
- W2132938106 hasConcept C41008148 @default.
- W2132938106 hasConcept C558565934 @default.
- W2132938106 hasConcept C71924100 @default.
- W2132938106 hasConcept C80444323 @default.
- W2132938106 hasConceptScore W2132938106C142362112 @default.
- W2132938106 hasConceptScore W2132938106C142724271 @default.
- W2132938106 hasConceptScore W2132938106C148730421 @default.
- W2132938106 hasConceptScore W2132938106C153269930 @default.
- W2132938106 hasConceptScore W2132938106C153349607 @default.
- W2132938106 hasConceptScore W2132938106C15927051 @default.
- W2132938106 hasConceptScore W2132938106C178489894 @default.
- W2132938106 hasConceptScore W2132938106C199168358 @default.
- W2132938106 hasConceptScore W2132938106C199360897 @default.
- W2132938106 hasConceptScore W2132938106C204787440 @default.
- W2132938106 hasConceptScore W2132938106C2185349 @default.
- W2132938106 hasConceptScore W2132938106C2524010 @default.
- W2132938106 hasConceptScore W2132938106C2776036281 @default.
- W2132938106 hasConceptScore W2132938106C2780385302 @default.
- W2132938106 hasConceptScore W2132938106C33884865 @default.
- W2132938106 hasConceptScore W2132938106C33923547 @default.
- W2132938106 hasConceptScore W2132938106C38652104 @default.
- W2132938106 hasConceptScore W2132938106C41008148 @default.
- W2132938106 hasConceptScore W2132938106C558565934 @default.
- W2132938106 hasConceptScore W2132938106C71924100 @default.
- W2132938106 hasConceptScore W2132938106C80444323 @default.
- W2132938106 hasLocation W21329381061 @default.
- W2132938106 hasLocation W21329381062 @default.
- W2132938106 hasLocation W21329381063 @default.
- W2132938106 hasLocation W21329381064 @default.
- W2132938106 hasLocation W21329381065 @default.
- W2132938106 hasLocation W21329381066 @default.
- W2132938106 hasLocation W21329381067 @default.
- W2132938106 hasLocation W21329381068 @default.
- W2132938106 hasLocation W21329381069 @default.
- W2132938106 hasOpenAccess W2132938106 @default.
- W2132938106 hasPrimaryLocation W21329381061 @default.
- W2132938106 hasRelatedWork W1550296450 @default.
- W2132938106 hasRelatedWork W1554274402 @default.
- W2132938106 hasRelatedWork W1585860117 @default.
- W2132938106 hasRelatedWork W2008685380 @default.
- W2132938106 hasRelatedWork W2117142827 @default.
- W2132938106 hasRelatedWork W2361781577 @default.
- W2132938106 hasRelatedWork W2904314268 @default.
- W2132938106 hasRelatedWork W2904818008 @default.
- W2132938106 hasRelatedWork W57958781 @default.
- W2132938106 hasRelatedWork W2585025927 @default.
- W2132938106 hasVolume "80" @default.
- W2132938106 isParatext "false" @default.
- W2132938106 isRetracted "false" @default.
- W2132938106 magId "2132938106" @default.
- W2132938106 workType "article" @default.