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 |