Top

International Journal of Information Security

Published in:

01-02-2005 | Regular contribution

Edit automata: enforcement mechanisms for run-time security policies

Authors: Jay Ligatti, Lujo Bauer, David Walker

Published in: International Journal of Information Security | Issue 1-2/2005

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Preface to the special issue of selected papers from FCS/VERIFY 2002

next article An overview of the verification of SET

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: Edit automata: enforcement mechanisms for run-time security policies
Authors: Jay Ligatti
Lujo Bauer
David Walker
Publication date: 01-02-2005
Publisher: Springer Berlin Heidelberg
Published in: International Journal of Information Security / Issue 1-2/2005
Print ISSN: 1615-5262
Electronic ISSN: 1615-5270
DOI: https://doi.org/10.1007/s10207-004-0046-8

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1-2/2005

Rigorous automated network security management

Detection of file-based race conditions

On the sequence of authorization policy transformations

Game strategies in network security

Preface to the special issue of selected papers from FCS/VERIFY 2002

Static use-based object confinement

Premium Partner