Sciweavers

    2079 search results - page 63 / 416
    » Quantifying Information Flow
    Sort
    View
    ASIAN
    2007
    Springer
    72views Algorithms» more  ASIAN 2007»
    Information Flow Testing
    16 years 6 days ago
    Information Flow Testing
    Download  www.qatar.cmu.edu
    Gurvan Le Guernic
    claim paper
    Read More »
    CCS
    2007
    ACM
    113views Security Privacy» more  CCS 2007»
    Verification condition generation for conditional information flow
    16 years 6 days ago
    Verification condition generation for conditional information flow
    Download  people.cis.ksu.edu
    Torben Amtoft, Anindya Banerjee
    claim paper
    Read More »
    WISTP
    2007
    Springer
    87views Security Privacy» more  WISTP 2007»
    An Information Flow Verifier for Small Embedded Systems
    16 years 4 days ago
    An Information Flow Verifier for Small Embedded Systems
    Download  wistp2007.wistp.org
    Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...
    claim paper
    Read More »
    CSFW
    2006
    IEEE
    119views Security Privacy» more  CSFW 2006»
    Encoding Information Flow in Haskell
    16 years 3 days ago
    Encoding Information Flow in Haskell
    Download  www.cis.upenn.edu
    This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
    Peng Li, Steve Zdancewic
    claim paper
    Read More »
    INFOCOM
    2005
    IEEE
    89views Communications» more  INFOCOM 2005»
    Flow control as stochastic optimal control problem with incomplete information
    15 years 11 months ago
    Flow control as stochastic optimal control problem with incomplete information
    Download  www.cmss.monash.edu.au
    B. Miller, Konstantin Avrachenkov, K. Stepanyan, G...
    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.