Heuristics for safety and security constraints

DOI10.1016/J.ENTCS.2007.02.018MaRDI QIDQ2864162zbMATH OpenOpenAlexWikidataFDO

Authors Flemming Nielson, Hanne Riis Nielson

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.018

zbMATH Keywords

static analysissecurity propertiesleast fixed-point logicflow logicBell-Lapadula mandatory access control

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Static Analysis
• Multi-valued logic for static analysis and model checking
• Model checking \textit{is} static analysis of modal logic
• Flow logic
• Information-flow and data-flow analysis of while-programs

Cites work

• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• A theory of type polymorphism in programming
• Computable queries for relational data bases
• The optimal approach to recursive programs

Describes a project that uses

Uses Software

• ML

This page was built for publication: Heuristics for safety and security constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864162)