Search Results - Java Secure Sockets Extension

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

Authors: Jan Jürjens

Source: Electronic Notes in Theoretical Computer Science. 250:123-136

Subject Terms: Java Secure Sockets Extension (JSSE), Automated security verification, 0202 electrical engineering, electronic engineering, information engineering, crypto protocol implementations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

A Java API for X.509 Proxy Certificates

Authors: John Gilbert Russell Perry Hewlett Packard Laboratories et al.

Contributors: John Gilbert Russell Perry Hewlett Packard Laboratories et al.

Source: http://www.hpl.hp.com/techreports/2008/HPL-2008-77.pdf.

Subject Terms: Delegation, Public Key Infrastructure, Grid Security Infrastructure, SSL, HTTPS, Java Cryptography Architecture, Java Secure Sockets Extension

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.9288

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.9288
http://www.hpl.hp.com/techreports/2008/HPL-2008-77.pdf

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

Authors: Jürjens, Jan¹ http://www.jurjens.de/jan

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2009, Vol. 250 Issue 1, p123-136. 14p.

Subject Terms: Machine theory, Computer security, Cryptography, Computer network protocols, Java programming language, Mathematical logic

Runtime verification of cryptographic protocols

Authors: Bauer, Andreas Juerjens, Jan

Source: Computers & Security. 29:315-330

Subject Terms: Formal Specification, Open problems, Running systems, Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Static verification, Run-time verification, Linear time temporal logic, Runtimes, 0202 electrical engineering, electronic engineering, information engineering, Design models, Secure sockets, Keywords: Cryptographic protocols, S Java, SSL, Security automata, Runtime verification, 16. Peace & justice, Security protocols, Formal verifications, Open source implementation, Open sources, Internet security

Access URL: https://dblp.uni-trier.de/db/journals/compsec/compsec29.html#BauerJ10
https://publications.csiro.au/rpr/pub?pid=nicta:3924
https://core.ac.uk/display/56909604
https://dl.acm.org/doi/10.1016/j.cose.2009.09.003
https://openresearch-repository.anu.edu.au/handle/1885/56955
https://ts.data61.csiro.au/publications/nictaabstracts/3924.pdf

Wykorzystanie SSL w Javie. Na przykładzie systemu Chat Gaduler (Java)

Authors: Parpura Michał Gorazd, Tomasz

Contributors: Parpura Michał Gorazd, Tomasz

Subject Terms: komunikacja internetowa, kryptografia, Java Secure Sockets Extension, Secure Sockets Layer, komunikator Gaduler, specyfikacja techniczna komunikatora Gaduler

File Description: application/zip

Relation: https://hdl.handle.net/11199/6839

Availability: https://hdl.handle.net/11199/6839

Sistema seguro de mensajería instantánea certificada

Authors: Mengual Galán, Luis Sánchez Rodríguez, Sofía

Index Terms: Informática, info:eu-repo/semantics/bachelorThesis

Supporting secure layer extensions for communication protocols

Session-Based Adaptive Overload Control for Secure Dynamic Web Applications

Authors: Vicenç Beltran Jordi Torres David Carrera et al.

Source: 2005 International Conference on Parallel Processing (ICPP'05). :341-349

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://people.ac.upc.edu/dcarrera/papers/ICPP05.pdf
https://hpc.ac.upc.edu/PDFs/dir04/file003049.pdf
https://personals.ac.upc.edu/dcarrera/papers/ICPP05.pdf
http://personals.ac.upc.edu/dcarrera/papers/ICPP05.pdf
https://people.ac.upc.edu/dcarrera/papers/ICPP05.pdf
https://ieeexplore.ieee.org/document/1488631

Run-Time Security Traceability for Evolving Systems†.

Authors: Bauer, Andreas Jürjens, Jan Yu, Yijun

Source: Computer Journal; Jan2011, Vol. 54 Issue 1, p58-87, 30p

Subject Terms: CRYPTOGRAPHY, COMPUTER network protocols, DATA security, COMPUTER software, INFORMATION technology, OPEN source software, AUTOMATION

Security System Design and Verification for Zero Trust Architecture.

Authors: Lee, Sangdo Huh, Jun-Ho Woo, Hanchul

Source: Electronics (2079-9292); Feb2025, Vol. 14 Issue 4, p643, 21p

Subject Terms: DIGITAL rights management, SECURE Sockets Layer (Computer network protocol), ACCESS control, INTERNET security, COMPUTER network security

Quantum-resistance in blockchain networks.

Authors: Allende, Marcos León, Diego López Cerón, Sergio et al.

Source: Scientific Reports; 4/6/2023, Vol. 13 Issue 1, p1-23, 23p

Subject Terms: SECURE Sockets Layer (Computer network protocol), RSA algorithm, BLOCKCHAINS, QUANTUM entropy, DIGITAL signatures, QUANTUM computing, QUANTUM computers

Java Security

Authors: Scott Oaks

Resource Type: eBook.

Subjects: Java (Computer program language), Computer security

Categories: COMPUTERS / Languages / Java

Revisiting QUIC attacks: a comprehensive review on QUIC security and a hands-on study.

Authors: Chatzoglou, Efstratios Kouliaridis, Vasileios Karopoulos, Georgios et al.

Source: International Journal of Information Security; Apr2023, Vol. 22 Issue 2, p347-365, 19p

Subject Terms: SECURE Sockets Layer (Computer network protocol), SECURITY management, COMPUTER network security

Java Network Programming

Authors: Elliotte Rusty Harold

Resource Type: eBook.

Subjects: Application program interfaces (Computer software)--Handbooks, manuals, etc, Java (Computer program language), Computer networks--Programming, Java (Computer program language)--Handbooks, manuals, etc, Internet programming--Handbooks, manuals, etc

Categories: COMPUTERS / General, COMPUTERS / Networking / General, COMPUTERS / Networking / Local Area Networks (LANs), COMPUTERS / Networking / Network Protocols, COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / Java

Security sieve: a technique for enhancing the performance of secure sockets layer-based distributed systems.

Authors: Lim, Norman Majumdar, Shikharesh Srivastava, Vineet

Source: International Journal of Parallel, Emergent & Distributed Systems; Sep2016, Vol. 31 Issue 5, p481-503, 23p

Subject Terms: SECURE Sockets Layer (Computer network protocol), COMMUNICATION, CENTRAL processing units, SECURITY systems, DATA transmission system security measures

Deciphering the Secrets of JSSE.

Authors: Mullenbach, Tim¹ mullenba@us.ibm.com

Source: iSeries NEWS. Jan2006, Issue 315, Special section p41-45. 5p.

Subject Terms: Computer network protocols, Java programming language, IBM computers, Computer files, Computer networks

Secure Sockets.

Authors: Pitt, Esmond

Source: Fundamental Networking in Java; 2006, p135-183, 49p

SUPPORTING SECURE LAYER EXTENSIONS FOR COMMUNICATION PROTOCOLS

Sistema de gestión y administración de ficheros con múltiples firmas digitales

Authors: Mengual Galán, Luis Mora Corral, Sergio

Index Terms: Informática, info:eu-repo/semantics/bachelorThesis

A Digital Signature Architecture for Web Apps.

Authors: Ponnapalli, Harigopal K.B. Saxena, Ashutosh

Source: IT Professional; Mar/Apr2013, Vol. 15 Issue 2, p42-49, 8p

Subject Terms: WEB-based user interfaces, DIGITAL signatures software, COMPUTER network security, SECURE Sockets Layer (Computer network protocol), HTTP (Computer network protocol), PUBLIC key infrastructure (Computer security)