Toward Detection of Abnormal Behaviors in Timing and Security Requirements.

Danielle Gaither, Hyunsook Do, Barrett R. Bryant

Browse the full APSEC paper archive.