JPL Technical Report Server

Model checking for network security requirements via a flexible modeling framework

Show simple item record

dc.contributor.author Powell, J. en_US
dc.contributor.author Gilliam, D. en_US
dc.date.accessioned 2004-09-22T22:30:39Z
dc.date.available 2004-09-22T22:30:39Z
dc.date.issued 2001-08-27 en_US
dc.identifier.citation 5th IEEE International Symposium on Requirements Engineering en_US
dc.identifier.citation Toronto, Canada en_US
dc.identifier.clearanceno 01-0470 en_US
dc.identifier.uri http://hdl.handle.net/2014/12377
dc.description.abstract This paper proposes an approach that mitigates the problem of verification of network security system properties over concurrent processes. en_US
dc.format.extent 854927 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other model checking formal methods networking en_US
dc.title Model checking for network security requirements via a flexible modeling framework en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account