Works matching IS 16112776 AND DT 2014 AND VI 56 AND IP 6

Results: 12
    1

    On the insecurity of XML Security.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 313, doi. 10.1515/itit-2014-1045
    By:
    • Somorovsky, Juraj
    Publication type:
    Article
    2
    3
    4
    5
    6

    Checking probabilistic noninterference using JOANA.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 280, doi. 10.1515/itit-2014-1051
    By:
    • Snelting, Gregor;
    • Giffhorn, Dennis;
    • Graf, Jürgen;
    • Hammer, Christian;
    • Hecker, Martin;
    • Mohr, Martin;
    • Wasserrab, Daniel
    Publication type:
    Article
    7
    8
    9

    Reliably secure software systems.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 265, doi. 10.1515/itit-2014-1079
    By:
    • Mantel, Heiko
    Publication type:
    Article
    10

    Frontmatter.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. i, doi. 10.1515/itit-2014-frontmatter6
    Publication type:
    Article
    11

    Security in e-voting.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 300, doi. 10.1515/itit-2014-1062
    By:
    • Küsters, Ralf;
    • Truderung, Tomasz
    Publication type:
    Article
    12

    Checking probabilistic noninterference using JOANA.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 280, doi. 10.1515/itit-2014-1051
    By:
    • Snelting, Gregor;
    • Giffhorn, Dennis;
    • Graf, Jürgen;
    • Hammer, Christian;
    • Hecker, Martin;
    • Mohr, Martin;
    • Wasserrab, Daniel
    Publication type:
    Article