Sciweavers

    14850 search results - page 131 / 2970
    » The Security of
    Sort
    View
    SP
    2010
    IEEE
    419views Security Privacy» more  SP 2010»
    Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
    15 years 10 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 »
    ACSAC
    2004
    IEEE
    180views Security Privacy» more  ACSAC 2004»
    The Cyber Enemy Within ... Countering the Threat from Malicious Insiders
    15 years 10 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 »
    ACSAC
    2004
    IEEE
    86views Security Privacy» more  ACSAC 2004»
    Detecting Kernel-Level Rootkits Through Binary Analysis
    15 years 10 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 »
    AINA
    2004
    IEEE
    174views Computer Networks» more  AINA 2004»
    Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking
    15 years 10 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 »
    CCS
    2004
    ACM
    70views Security Privacy» more  CCS 2004»
    Synthesising verified access control systems in XACML
    15 years 10 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 »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.