Skip to content

Logic Induction of Valid Behavior Specifications for Intrusion Detection.

Calvin Ko

VenueA*SP
Year2000
ProceedingsS&P
DBLP recordconf/sp/Ko00

Browse the full SP paper archive.