Sciweavers

    2270 search results - page 45 / 454
    » Modelling Secure IT Systems - A Survey
    Sort
    View
    CHI
    2005
    ACM
    117views Human Computer Interaction» more  CHI 2005»
    How to make secure email easier to use
    14 years 9 months ago
    How to make secure email easier to use
    Download  groups.csail.mit.edu
    Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...
    Simson L. Garfinkel, David Margrave, Jeffrey I. Sc...
    claim paper
    Read More »
    FORMATS
    2005
    Springer
    75views Formal Methods» more  FORMATS 2005»
    Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
    14 years 2 months ago
    Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
    Download  www.lsv.ens-cachan.fr
    Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
    Patricia Bouyer, François Laroussinie, Pier...
    claim paper
    Read More »
    MMMACNS
    2005
    Springer
    119views Information Technology» more  MMMACNS 2005»
    A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
    14 years 2 months ago
    A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
    Download  www.cnas.org.tn
    Slim Rekhis, Noureddine Boudriga
    claim paper
    Read More »
    IH
    1998
    Springer
    118views Information Technology» more  IH 1998»
    Modeling the Security of Steganographic Systems
    14 years 27 days ago
    Modeling the Security of Steganographic Systems
    Download  www-sec.uni-regensburg.de
    Jan Zöllner, Hannes Federrath, Herbert Kliman...
    claim paper
    Read More »
    COMPSEC
    2010
    86views more  COMPSEC 2010»
    A knowledgeable security model for distributed health information systems
    13 years 8 months ago
    A knowledgeable security model for distributed health information systems
    Download  eprints.ecs.soton.ac.uk
    Liang Xiao 0002, Bo Hu, Madalina Croitoru, Paul H....
    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.