Top

International Journal of Information Security

Published in:

01-02-2005 | Regular contribution

Rigorous automated network security management

Authors: Joshua D. Guttman, Amy L. Herzog

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 An overview of the verification of SET

next article On the decidability of cryptographic protocols with open-ended data structures

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: Rigorous automated network security management
Authors: Joshua D. Guttman
Amy L. Herzog
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-0052-x

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

An overview of the verification of SET

Detection of file-based race conditions

Static use-based object confinement

On the sequence of authorization policy transformations

Game strategies in network security

On the decidability of cryptographic protocols with open-ended data structures

Premium Partner