Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298193385> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4298193385 abstract "Auditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and accountability (e.g. provenance in scientific programming). Most proposed auditing techniques are ad hoc or treat auditing as a second-class, extralinguistic operation; logical or semantic foundations for auditing are not yet well-established. Justification Logic (JL) offers one such foundation; Bavera and Bonelli introduced a computational interpretation of JL called $lambda^h$ that supports auditing. However, $lambda^h$ is technically complex and strong normalization was only established for special cases. In addition, we show that the equational theory of $lambda^h$ is inconsistent. We introduce a new calculus $lambda^{hc}$ that is simpler than $lambda^h$, consistent, and strongly normalizing. Our proof of strong normalization is formalized in Nominal Isabelle." @default.
- W4298193385 created "2022-10-01" @default.
- W4298193385 creator A5056138547 @default.
- W4298193385 creator A5068699841 @default.
- W4298193385 date "2017-06-12" @default.
- W4298193385 modified "2023-10-14" @default.
- W4298193385 title "Strongly Normalizing Audited Computation" @default.
- W4298193385 doi "https://doi.org/10.4230/lipics.csl.2017.36" @default.
- W4298193385 hasPublicationYear "2017" @default.
- W4298193385 type Work @default.
- W4298193385 citedByCount "1" @default.
- W4298193385 countsByYear W42981933852018 @default.
- W4298193385 crossrefType "posted-content" @default.
- W4298193385 hasAuthorship W4298193385A5056138547 @default.
- W4298193385 hasAuthorship W4298193385A5068699841 @default.
- W4298193385 hasBestOaLocation W42981933851 @default.
- W4298193385 hasConcept C11413529 @default.
- W4298193385 hasConcept C120665830 @default.
- W4298193385 hasConcept C121332964 @default.
- W4298193385 hasConcept C121955636 @default.
- W4298193385 hasConcept C135790938 @default.
- W4298193385 hasConcept C136119220 @default.
- W4298193385 hasConcept C136886441 @default.
- W4298193385 hasConcept C144024400 @default.
- W4298193385 hasConcept C144133560 @default.
- W4298193385 hasConcept C19165224 @default.
- W4298193385 hasConcept C199343813 @default.
- W4298193385 hasConcept C199360897 @default.
- W4298193385 hasConcept C199521495 @default.
- W4298193385 hasConcept C202444582 @default.
- W4298193385 hasConcept C2777686260 @default.
- W4298193385 hasConcept C2778113609 @default.
- W4298193385 hasConcept C33923547 @default.
- W4298193385 hasConcept C41008148 @default.
- W4298193385 hasConcept C71924100 @default.
- W4298193385 hasConcept C80444323 @default.
- W4298193385 hasConceptScore W4298193385C11413529 @default.
- W4298193385 hasConceptScore W4298193385C120665830 @default.
- W4298193385 hasConceptScore W4298193385C121332964 @default.
- W4298193385 hasConceptScore W4298193385C121955636 @default.
- W4298193385 hasConceptScore W4298193385C135790938 @default.
- W4298193385 hasConceptScore W4298193385C136119220 @default.
- W4298193385 hasConceptScore W4298193385C136886441 @default.
- W4298193385 hasConceptScore W4298193385C144024400 @default.
- W4298193385 hasConceptScore W4298193385C144133560 @default.
- W4298193385 hasConceptScore W4298193385C19165224 @default.
- W4298193385 hasConceptScore W4298193385C199343813 @default.
- W4298193385 hasConceptScore W4298193385C199360897 @default.
- W4298193385 hasConceptScore W4298193385C199521495 @default.
- W4298193385 hasConceptScore W4298193385C202444582 @default.
- W4298193385 hasConceptScore W4298193385C2777686260 @default.
- W4298193385 hasConceptScore W4298193385C2778113609 @default.
- W4298193385 hasConceptScore W4298193385C33923547 @default.
- W4298193385 hasConceptScore W4298193385C41008148 @default.
- W4298193385 hasConceptScore W4298193385C71924100 @default.
- W4298193385 hasConceptScore W4298193385C80444323 @default.
- W4298193385 hasLocation W42981933851 @default.
- W4298193385 hasLocation W42981933852 @default.
- W4298193385 hasLocation W42981933853 @default.
- W4298193385 hasOpenAccess W4298193385 @default.
- W4298193385 hasPrimaryLocation W42981933851 @default.
- W4298193385 hasRelatedWork W1562780576 @default.
- W4298193385 hasRelatedWork W1566556607 @default.
- W4298193385 hasRelatedWork W1595139175 @default.
- W4298193385 hasRelatedWork W1915655540 @default.
- W4298193385 hasRelatedWork W2101274322 @default.
- W4298193385 hasRelatedWork W2615070270 @default.
- W4298193385 hasRelatedWork W2964036001 @default.
- W4298193385 hasRelatedWork W2989571473 @default.
- W4298193385 hasRelatedWork W3194008643 @default.
- W4298193385 hasRelatedWork W2785405191 @default.
- W4298193385 isParatext "false" @default.
- W4298193385 isRetracted "false" @default.
- W4298193385 workType "article" @default.