More Examples
concept FileHandleGuessing
requires
where
report
end.
concept DNS_Cache_Poisoning
requires
DNS_Cache_Poison_Detected: DNSCP
report
Traffic_Redirection
forall ce in DNSCP.map_list {
(remap <- remap + [DNSCP.old_IPA, DNSCP.new_IPA])
}
end.
Previous slide
Next slide
Back to first slide
View graphic version