Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544935364> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1544935364 abstract "In previous works we have developed a theory based on formal methods for enforcing security properties by defining process algebra controller operators. In this paper we continue our line of research, by describing a tool developed for synthesizing a model for a given security property that is also a control program for a given controller operator. The tool implements the partial model checking technique and the satisfiability procedure for a modal µ-calculus formula." @default.
- W1544935364 created "2016-06-24" @default.
- W1544935364 creator A5084346541 @default.
- W1544935364 date "2007-09-13" @default.
- W1544935364 modified "2023-09-27" @default.
- W1544935364 title "A Tool for the Synthesis of Controller Programs" @default.
- W1544935364 cites W1576616200 @default.
- W1544935364 cites W1940060540 @default.
- W1544935364 cites W1966112122 @default.
- W1544935364 cites W1998615649 @default.
- W1544935364 cites W2036910349 @default.
- W1544935364 cites W2048075614 @default.
- W1544935364 cites W2068341689 @default.
- W1544935364 cites W2083398633 @default.
- W1544935364 doi "https://doi.org/10.1007/978-3-540-75227-1_8" @default.
- W1544935364 hasPublicationYear "2007" @default.
- W1544935364 type Work @default.
- W1544935364 sameAs 1544935364 @default.
- W1544935364 citedByCount "1" @default.
- W1544935364 crossrefType "book-chapter" @default.
- W1544935364 hasAuthorship W1544935364A5084346541 @default.
- W1544935364 hasConcept C102993220 @default.
- W1544935364 hasConcept C104317684 @default.
- W1544935364 hasConcept C110251889 @default.
- W1544935364 hasConcept C111472728 @default.
- W1544935364 hasConcept C11413529 @default.
- W1544935364 hasConcept C136119220 @default.
- W1544935364 hasConcept C138885662 @default.
- W1544935364 hasConcept C158448853 @default.
- W1544935364 hasConcept C161771561 @default.
- W1544935364 hasConcept C168773769 @default.
- W1544935364 hasConcept C17020691 @default.
- W1544935364 hasConcept C185592680 @default.
- W1544935364 hasConcept C188027245 @default.
- W1544935364 hasConcept C189950617 @default.
- W1544935364 hasConcept C195701839 @default.
- W1544935364 hasConcept C199360897 @default.
- W1544935364 hasConcept C202444582 @default.
- W1544935364 hasConcept C203479927 @default.
- W1544935364 hasConcept C203659156 @default.
- W1544935364 hasConcept C33923547 @default.
- W1544935364 hasConcept C41008148 @default.
- W1544935364 hasConcept C55493867 @default.
- W1544935364 hasConcept C6557445 @default.
- W1544935364 hasConcept C71139939 @default.
- W1544935364 hasConcept C78344899 @default.
- W1544935364 hasConcept C80444323 @default.
- W1544935364 hasConcept C86339819 @default.
- W1544935364 hasConcept C86803240 @default.
- W1544935364 hasConcept C98045186 @default.
- W1544935364 hasConceptScore W1544935364C102993220 @default.
- W1544935364 hasConceptScore W1544935364C104317684 @default.
- W1544935364 hasConceptScore W1544935364C110251889 @default.
- W1544935364 hasConceptScore W1544935364C111472728 @default.
- W1544935364 hasConceptScore W1544935364C11413529 @default.
- W1544935364 hasConceptScore W1544935364C136119220 @default.
- W1544935364 hasConceptScore W1544935364C138885662 @default.
- W1544935364 hasConceptScore W1544935364C158448853 @default.
- W1544935364 hasConceptScore W1544935364C161771561 @default.
- W1544935364 hasConceptScore W1544935364C168773769 @default.
- W1544935364 hasConceptScore W1544935364C17020691 @default.
- W1544935364 hasConceptScore W1544935364C185592680 @default.
- W1544935364 hasConceptScore W1544935364C188027245 @default.
- W1544935364 hasConceptScore W1544935364C189950617 @default.
- W1544935364 hasConceptScore W1544935364C195701839 @default.
- W1544935364 hasConceptScore W1544935364C199360897 @default.
- W1544935364 hasConceptScore W1544935364C202444582 @default.
- W1544935364 hasConceptScore W1544935364C203479927 @default.
- W1544935364 hasConceptScore W1544935364C203659156 @default.
- W1544935364 hasConceptScore W1544935364C33923547 @default.
- W1544935364 hasConceptScore W1544935364C41008148 @default.
- W1544935364 hasConceptScore W1544935364C55493867 @default.
- W1544935364 hasConceptScore W1544935364C6557445 @default.
- W1544935364 hasConceptScore W1544935364C71139939 @default.
- W1544935364 hasConceptScore W1544935364C78344899 @default.
- W1544935364 hasConceptScore W1544935364C80444323 @default.
- W1544935364 hasConceptScore W1544935364C86339819 @default.
- W1544935364 hasConceptScore W1544935364C86803240 @default.
- W1544935364 hasConceptScore W1544935364C98045186 @default.
- W1544935364 hasLocation W15449353641 @default.
- W1544935364 hasOpenAccess W1544935364 @default.
- W1544935364 hasPrimaryLocation W15449353641 @default.
- W1544935364 hasRelatedWork W1527862632 @default.
- W1544935364 hasRelatedWork W1652311832 @default.
- W1544935364 hasRelatedWork W2118300983 @default.
- W1544935364 hasRelatedWork W2135396778 @default.
- W1544935364 hasRelatedWork W2166247150 @default.
- W1544935364 hasRelatedWork W2243428364 @default.
- W1544935364 hasRelatedWork W2462453872 @default.
- W1544935364 hasRelatedWork W3207171446 @default.
- W1544935364 hasRelatedWork W4243252198 @default.
- W1544935364 hasRelatedWork W4245713008 @default.
- W1544935364 isParatext "false" @default.
- W1544935364 isRetracted "false" @default.
- W1544935364 magId "1544935364" @default.
- W1544935364 workType "book-chapter" @default.