Sciweavers

    3482 search results - page 691 / 697
    » Designing for security
    Sort
    View
    JCS
    2008
    119views more  JCS 2008»
    Synthesising verified access control systems through model checking
    13 years 8 months ago
    Synthesising verified access control systems through model checking
    Download  www.cs.bham.ac.uk
    We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
    Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    claim paper
    Read More »
    SIGOPS
    2008
    116views more  SIGOPS 2008»
    Practical techniques for purging deleted data using liveness information
    13 years 8 months ago
    Practical techniques for purging deleted data using liveness information
    Download  www-users.cs.umn.edu
    The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
    David Boutcher, Abhishek Chandra
    claim paper
    Read More »
    IJNSEC
    2007
    193views more  IJNSEC 2007»
    Statistical Attack Resilient Data Hiding
    13 years 8 months ago
    Statistical Attack Resilient Data Hiding
    Download  www.ece.stevens-tech.edu
    In this paper, we propose a discrete cosine transform (DCT) based spread spectrum data-hiding algorithm that is resilient to statistical attacks. Unlike other spread spectrum base...
    Palak K. Amin, Ning Liu, Koduvayur P. Subbalakshmi
    claim paper
    Read More »
    TC
    2008
    132views Information Technology» more  TC 2008»
    Computationally Efficient PKI-Based Single Sign-On Protocol, PKASSO for Mobile Devices
    13 years 8 months ago
    Computationally Efficient PKI-Based Single Sign-On Protocol, PKASSO for Mobile Devices
    Download  koasas.kaist.ac.kr
    In an attempt to expand Public Key Infrastructure (PKI) usage to a ubiquitous and mobile computing environment, we found that the deployment of the PKI on a resource-constrained de...
    Ki-Woong Park, Sang Seok Lim, Kyu Ho Park
    claim paper
    Read More »
    ITPRO
    2007
    101views more  ITPRO 2007»
    Beyond Search: Content Applications
    13 years 8 months ago
    Beyond Search: Content Applications
    Download  www.marklogic.com
    Federation of Abstracting and Information Services presentation (“TheThomsonTransformation: Remaking a Global 500 Company,” http://www. nfais.org/TurnerNFAIS06.ppt). Now conten...
    Stephen Buxton
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.