Top

Published in:

Open Access 01-10-2011 | Regular Paper

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

Authors: Kenro Yatake, Takuya Katayama

Title: An executable object-oriented semantics and its application to firewall verification
Authors: Kenro Yatake
Takuya Katayama
Publication date: 01-10-2011
Publisher: Springer-Verlag
Published in: Software and Systems Modeling / Issue 4/2011
Print ISSN: 1619-1366
Electronic ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-010-0160-1

Premium Partner