Sciweavers

14850 search results - page 131 / 2970

» The Security of

64

SP
2010
IEEE

419views Security Privacy» more SP 2010»

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

14 years 1 months ago

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

Download www.cs.ucsb.edu

Matt Fredrikson, Somesh Jha, Mihai Christodorescu,...

claim paper

Read More »

31

ACSAC
2004
IEEE

180views Security Privacy» more ACSAC 2004»

The Cyber Enemy Within ... Countering the Threat from Malicious Insiders

14 years 1 months ago

The Cyber Enemy Within ... Countering the Threat from Malicious Insiders

Download www.acsac.org

Dick Brackney, Terrance Goan, Allen Ott, Lockheed ...

claim paper

Read More »

20

ACSAC
2004
IEEE

86views Security Privacy» more ACSAC 2004»

Detecting Kernel-Level Rootkits Through Binary Analysis

14 years 1 months ago

Detecting Kernel-Level Rootkits Through Binary Analysis

Download www.cs.ucsb.edu

Christopher Krügel, William K. Robertson, Gio...

claim paper

Read More »

31

AINA
2004
IEEE

174views Computer Networks» more AINA 2004»

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking

14 years 1 months ago

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking

Download www.irisa.fr

IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...

Il-Gon Kim, Jin-Young Choi

claim paper

Read More »

21

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

14 years 1 months ago

Synthesising verified access control systems in XACML

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

« Prev « First page 131 / 2970 Last » Next »