Runtime Verification of Authorization Hook Placement for the Linux Security Modules Framework

doi 10.1145/586139.586141
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Linux Driver Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Runtime Checking for Program Verification

English

Security Enhancements for FPGA-based MPSoCs: A Boot-To-Runtime Protection Flow for an Embedded Linux-Based System

2012English

Runtime Verification of Stochastic Systems

2010English

Dependability Verification for Contextual/Runtime Goal Modelling

English

Architectural Framework for Web Services Authorization

2005English

Runtime Verification With Particle Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Runtime Verification of Stochastic, Faulty Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy