Identifying Policy-Engine Semantics from 1 Distinguishing Probes: Sound Feasibility and Graded Verification for Outcome-Level Configuration Changes
Diese Arbeit zeigt auf, dass eine geringe Anzahl unterscheidender Sonden zwar in der Lage ist, die Semantik einer Policy-Engine innerhalb einer vordefinierten Kandidatenklasse präzise zu identifizieren, solche Sonden jedoch daran scheitern, Engines außerhalb dieser Klasse oder solche mit subtilen Abweichungen zu erkennen, was strukturierte Verifizierungsstrategien und Kontrollläufe erforderlich macht, um die fundierte Durchführbarkeit von Konfigurationsänderungen auf Ergebnisebene zu gewährleisten.
Originalarbeit lizenziert unter CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.