Model checking for network security requirements via a flexible modeling framework

Powell, J.; Gilliam,    D.

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