Search Results - "Java Secure Sockets Extension (JSSE)"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project by Jürjens, Jan

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 01.09.2009
    “…An important missing link in the construction of secure systems is finding a practical way to establish a correspondence between a software specification and…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: