Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems.

Grzegorz J. Nalepa

Browse the full SAFECOMP paper archive.