Sciweavers

    1788 search results - page 33 / 358
    » Integrating Security into the Curriculum
    Sort
    View
    TCS
    2008
    101views Theoretical Computer Science» more  TCS 2008»
    Integration of a security type system into a program logic
    15 years 6 months ago
    Integration of a security type system into a program logic
    Download  www.win.tue.nl
    Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
    Reiner Hähnle, Jing Pan, Philipp Rümmer,...
    claim paper
    Read More »
    165
    Voted
    IICS
    2001
    Springer
    178views Internet Technology» more  IICS 2001»
    Hardware Security Concept for Spontaneous Network Integration of Mobile Devices
    15 years 10 months ago
    Hardware Security Concept for Spontaneous Network Integration of Mobile Devices
    Download  www.imd.uni-rostock.de
    In this article we introduce an architecture of a mobile device that enables safe and authenticated data-transmission in a spontaneously configured network environment. The usage ...
    Igor Sedov, Marc Haase, Clemens H. Cap, Dirk Timme...
    claim paper
    Read More »
    APSEC
    2005
    IEEE
    122views Software Engineering» more  APSEC 2005»
    Integrating Safety and Security Requirements into Design of an Embedded System
    15 years 11 months ago
    Integrating Safety and Security Requirements into Design of an Embedded System
    Download  www.behaviorengineering.org
    Saad Zafar, R. Geoff Dromey
    claim paper
    Read More »
    EUC
    2005
    Springer
    117views Applied Computing» more  EUC 2005»
    Security Analysis of Michael: The IEEE 802.11i Message Integrity Code
    15 years 11 months ago
    Security Analysis of Michael: The IEEE 802.11i Message Integrity Code
    Download  www.uow.edu.au
    Jianyong Huang, Jennifer Seberry, Willy Susilo, Ma...
    claim paper
    Read More »
    RAID
    2001
    Springer
    118views Computer Networks» more  RAID 2001»
    Application-Integrated Data Collection for Security Monitoring
    15 years 10 months ago
    Application-Integrated Data Collection for Security Monitoring
    Download  www.raid-symposium.org
    Magnus Almgren, Ulf Lindqvist
    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.