Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027499684> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2027499684 abstract "Java development kit 1.2 provides a runtime access control mechanism which inspects a control stack to examine whether the program has appropriate access permissions. Guaranteeing that each execution of a program with stack inspection satisfies required security properties is desirable. Jensen et al. introduced a verification problem of deciding for a given program P and a given security property written in a temporal logic formula, whether every reachable state of P satisfies . They showed that the problem is decidable for the class of programs which do not contain mutual recursion. In this paper, we show that the set of state sequences of a program is always an indexed language and consequently the verification problem is decidable. Our result is stronger than Jensen's in that a security property can be specified by a regular language, whose expressive power is stronger than temporal logic, and in that a program can contain mutual recursion." @default.
- W2027499684 created "2016-06-24" @default.
- W2027499684 creator A5017446021 @default.
- W2027499684 creator A5018228908 @default.
- W2027499684 creator A5043127039 @default.
- W2027499684 date "2001-05-01" @default.
- W2027499684 modified "2023-10-18" @default.
- W2027499684 title "Security verification of programs with stack inspection" @default.
- W2027499684 cites W1987339920 @default.
- W2027499684 cites W2016017569 @default.
- W2027499684 cites W2057503672 @default.
- W2027499684 cites W2094873755 @default.
- W2027499684 cites W2102654013 @default.
- W2027499684 cites W2129278597 @default.
- W2027499684 cites W2148127931 @default.
- W2027499684 cites W2442545619 @default.
- W2027499684 cites W4241108585 @default.
- W2027499684 doi "https://doi.org/10.1145/373256.373260" @default.
- W2027499684 hasPublicationYear "2001" @default.
- W2027499684 type Work @default.
- W2027499684 sameAs 2027499684 @default.
- W2027499684 citedByCount "13" @default.
- W2027499684 countsByYear W20274996842017 @default.
- W2027499684 countsByYear W20274996842021 @default.
- W2027499684 crossrefType "proceedings-article" @default.
- W2027499684 hasAuthorship W2027499684A5017446021 @default.
- W2027499684 hasAuthorship W2027499684A5018228908 @default.
- W2027499684 hasAuthorship W2027499684A5043127039 @default.
- W2027499684 hasConcept C111472728 @default.
- W2027499684 hasConcept C119024030 @default.
- W2027499684 hasConcept C138885662 @default.
- W2027499684 hasConcept C153269930 @default.
- W2027499684 hasConcept C154945302 @default.
- W2027499684 hasConcept C168773036 @default.
- W2027499684 hasConcept C177264268 @default.
- W2027499684 hasConcept C189950617 @default.
- W2027499684 hasConcept C199360897 @default.
- W2027499684 hasConcept C2777212361 @default.
- W2027499684 hasConcept C41008148 @default.
- W2027499684 hasConcept C48103436 @default.
- W2027499684 hasConcept C56348326 @default.
- W2027499684 hasConcept C80444323 @default.
- W2027499684 hasConcept C9395851 @default.
- W2027499684 hasConceptScore W2027499684C111472728 @default.
- W2027499684 hasConceptScore W2027499684C119024030 @default.
- W2027499684 hasConceptScore W2027499684C138885662 @default.
- W2027499684 hasConceptScore W2027499684C153269930 @default.
- W2027499684 hasConceptScore W2027499684C154945302 @default.
- W2027499684 hasConceptScore W2027499684C168773036 @default.
- W2027499684 hasConceptScore W2027499684C177264268 @default.
- W2027499684 hasConceptScore W2027499684C189950617 @default.
- W2027499684 hasConceptScore W2027499684C199360897 @default.
- W2027499684 hasConceptScore W2027499684C2777212361 @default.
- W2027499684 hasConceptScore W2027499684C41008148 @default.
- W2027499684 hasConceptScore W2027499684C48103436 @default.
- W2027499684 hasConceptScore W2027499684C56348326 @default.
- W2027499684 hasConceptScore W2027499684C80444323 @default.
- W2027499684 hasConceptScore W2027499684C9395851 @default.
- W2027499684 hasLocation W20274996841 @default.
- W2027499684 hasOpenAccess W2027499684 @default.
- W2027499684 hasPrimaryLocation W20274996841 @default.
- W2027499684 hasRelatedWork W157554648 @default.
- W2027499684 hasRelatedWork W1976387466 @default.
- W2027499684 hasRelatedWork W2018091338 @default.
- W2027499684 hasRelatedWork W2027700444 @default.
- W2027499684 hasRelatedWork W2078011173 @default.
- W2027499684 hasRelatedWork W2094660491 @default.
- W2027499684 hasRelatedWork W2117127705 @default.
- W2027499684 hasRelatedWork W2142224267 @default.
- W2027499684 hasRelatedWork W2358886933 @default.
- W2027499684 hasRelatedWork W2364824163 @default.
- W2027499684 isParatext "false" @default.
- W2027499684 isRetracted "false" @default.
- W2027499684 magId "2027499684" @default.
- W2027499684 workType "article" @default.