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
    16 years 3 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 »
    115
    Voted
    FORMATS
    2005
    Springer
    75views Formal Methods» more  FORMATS 2005»
    Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
    15 years 9 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
    15 years 9 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
    15 years 7 months ago
    Modeling the Security of Steganographic Systems
    Download  www-sec.uni-regensburg.de
    Jan Zöllner, Hannes Federrath, Herbert Kliman...
    claim paper
    Read More »
    84
    Voted
    COMPSEC
    2010
    86views more  COMPSEC 2010»
    A knowledgeable security model for distributed health information systems
    15 years 3 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
    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.