Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100050463> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2100050463 abstract "Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of Boudol and Castellani cite BC02:tcs, which defines an information flow type system for a concurrent language with scheduling, and shows that typable programs are non-interferent. As a benefit of using a proof assistant, we are able to deal with a more general language than the one studied by Boudol and Castellani. The development constitutes to our best knowledge the first machine-checked account of non-interference for a concurrent language." @default.
- W2100050463 created "2016-06-24" @default.
- W2100050463 creator A5015166077 @default.
- W2100050463 creator A5063036981 @default.
- W2100050463 date "2004-10-29" @default.
- W2100050463 modified "2023-10-18" @default.
- W2100050463 title "Formally verifying information flow type systems for concurrent and thread systems" @default.
- W2100050463 cites W144484064 @default.
- W2100050463 cites W1518533182 @default.
- W2100050463 cites W1519566437 @default.
- W2100050463 cites W1879157574 @default.
- W2100050463 cites W1977764760 @default.
- W2100050463 cites W2020763704 @default.
- W2100050463 cites W2023931614 @default.
- W2100050463 cites W2040669676 @default.
- W2100050463 cites W2057503672 @default.
- W2100050463 cites W2075849836 @default.
- W2100050463 cites W2122049982 @default.
- W2100050463 cites W2123858370 @default.
- W2100050463 cites W2125412310 @default.
- W2100050463 cites W2148592296 @default.
- W2100050463 cites W2675276594 @default.
- W2100050463 cites W3004817644 @default.
- W2100050463 cites W4250846042 @default.
- W2100050463 cites W4251301725 @default.
- W2100050463 doi "https://doi.org/10.1145/1029133.1029136" @default.
- W2100050463 hasPublicationYear "2004" @default.
- W2100050463 type Work @default.
- W2100050463 sameAs 2100050463 @default.
- W2100050463 citedByCount "23" @default.
- W2100050463 countsByYear W21000504632012 @default.
- W2100050463 countsByYear W21000504632013 @default.
- W2100050463 countsByYear W21000504632014 @default.
- W2100050463 countsByYear W21000504632015 @default.
- W2100050463 countsByYear W21000504632018 @default.
- W2100050463 countsByYear W21000504632019 @default.
- W2100050463 countsByYear W21000504632020 @default.
- W2100050463 crossrefType "proceedings-article" @default.
- W2100050463 hasAuthorship W2100050463A5015166077 @default.
- W2100050463 hasAuthorship W2100050463A5063036981 @default.
- W2100050463 hasBestOaLocation W21000504632 @default.
- W2100050463 hasConcept C138101251 @default.
- W2100050463 hasConcept C173608175 @default.
- W2100050463 hasConcept C193702766 @default.
- W2100050463 hasConcept C199360897 @default.
- W2100050463 hasConcept C41008148 @default.
- W2100050463 hasConceptScore W2100050463C138101251 @default.
- W2100050463 hasConceptScore W2100050463C173608175 @default.
- W2100050463 hasConceptScore W2100050463C193702766 @default.
- W2100050463 hasConceptScore W2100050463C199360897 @default.
- W2100050463 hasConceptScore W2100050463C41008148 @default.
- W2100050463 hasLocation W21000504631 @default.
- W2100050463 hasLocation W21000504632 @default.
- W2100050463 hasLocation W21000504633 @default.
- W2100050463 hasLocation W21000504634 @default.
- W2100050463 hasOpenAccess W2100050463 @default.
- W2100050463 hasPrimaryLocation W21000504631 @default.
- W2100050463 hasRelatedWork W1579918296 @default.
- W2100050463 hasRelatedWork W2105856903 @default.
- W2100050463 hasRelatedWork W2122602598 @default.
- W2100050463 hasRelatedWork W2170268965 @default.
- W2100050463 hasRelatedWork W2624440775 @default.
- W2100050463 hasRelatedWork W2734000466 @default.
- W2100050463 hasRelatedWork W2998398829 @default.
- W2100050463 hasRelatedWork W4206956498 @default.
- W2100050463 hasRelatedWork W4232891356 @default.
- W2100050463 hasRelatedWork W2791570590 @default.
- W2100050463 isParatext "false" @default.
- W2100050463 isRetracted "false" @default.
- W2100050463 magId "2100050463" @default.
- W2100050463 workType "article" @default.