Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings - Russian Federation
doi 10.15622/sp.22.7
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 17, 2014
Authors
Publisher
SPIIRAS