nach oben

Erschienen in:

Open Access 01.10.2011 | Regular Paper

An executable object-oriented semantics and its application to firewall verification

verfasst von: Kenro Yatake, Takuya Katayama

Titel: An executable object-oriented semantics and its application to firewall verification
verfasst von: Kenro Yatake
Takuya Katayama
Publikationsdatum: 01.10.2011
Verlag: Springer-Verlag
Erschienen in: Software and Systems Modeling / Ausgabe 4/2011
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-010-0160-1