『OpenSSLクックブック』
コマンドラインでOpenSSLを使うすべての人に！ 『プロフェッショナルTLS&PKI』 からOpenSSLに関する章の全体を抜粋した無償のPDFミニブック！ Ivan Ristić 著、齋藤孝道 監訳 84ページ B5判 電子書籍の形式：PDF ISBN：N/A 2024年4月24日 第2版第1刷（原書Third Edition対応） 発行 安全なインターネットにとって必要不可欠なTLSプロトコルの詳細だけでなく、それを実世界で利用するために必要なエコシステムの成り立ちと全体像が丁寧に解説された ‟Bulletproof TLS and PKI”（Ivan Ristić著） の全訳 『プロフェッショナルTLS&PKI』 から、「第12章 OpenSSL」と「第13章 OpenSSLを使った動作検証」を抜粋した小冊子です。電子書籍のみの提供になります。
mbedTLSでTLS 1.3を使ってみる / 開発者向けブログ・イベント | GMO Developers
こんにちは。GMOインターネット 新里です。 組込み・IoT的な端末でよく利用されているmbedTLSの最新バージョンを使って、TLS 1.3〜QUICの暗号化まで実際にESP32を利用して行ってみます。 mbedTLS mbedTLS は組込み機器などで使われるコンパクトなサイズのSSL/TSLライブラリです。よく知られているSSLライブラリではOpenSSL/BoringSSLなどがありますね。ただ、IoT的な端末などではスペックが限られたものになります。例えば、僕が利用する端末だとアプリケーションを組込める領域がわずか256Kbyteというサイズとかだったりします。 そういったIoT的な機器や組込み機器のようなスペックで、PCやサーバーで利用されているようなSSL/TLSライブラリを組込んで使うのはスペック的にも難しいです。そこで使われるのが組込み端末向けのコンパクトなライブラリとい
ProVerif
ProVerif: Cryptographic protocol verifier in the formal model ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Its main features are: It can handle many different cryptographic primitives, including shared- and public-key cryptography (encryption and signat
Wiresharkで観察して理解するHTTPS（HTTP over TLS）の仕組み - RAKUS Developers Blog | ラクス エンジニアブログ
はじめに HTTPS(HTTP Over TLS)とは SSL/TLS HTTPSの流れ 実際に通信を観察 自己署名証明書の用意 サーバーの作成 WireSharkの準備 リクエストを送信して観察 まとめ はじめに エンジニア２年目のTKDSです！ 普段何気なく使ってるほとんどのWebサイトが対応しているHTTPS通信の仕組みについて調べてみました。 本記事では、Wiresharkを用いてHTTPSの内部動作を解析し、どのようにしてデータが保護されているのかを具体的に解説します。 記事の後半では、Wiresharkを使って実際の通信データを観察し、暗号化プロセスの詳細を確認してみます。 HTTPS(HTTP Over TLS)とは HTTPS(HTTP Over TLS)は、HTTPの暗号化版で、ウェブサイトとブラウザ間の安全な通信を実現するプロトコルです。 TLSを使用して、HTTP通信
古い記事に騙されないで！hyperじゃなくreqwestを使ってください - Qiita
ちょっと煽ってみました 誰も書いていなかったのでreqwestについて書きます。 TL;DR HTTP系crateのデファクトスタンダードであったhyperは0.11.0からtokioとfuturesを採用した複雑なAPIに変わりました。 simpleでstableなHTTP clientが使いたければhyperの作者でもあるseanmonstar氏のreqwestを使うのがいいです。 もちろん、reqwestにデフォルトでついてくる機能がいらない場合や、高次元なcrateを自作したい場合はhyperを使うのが正しいです。 現在のhyper clientの公式exampleがこことここに載っています。 かなり単純な形でも以下のようになりますね。 extern crate futures; extern crate hyper; extern crate tokio_core; use st
Tailscale Funnel · Tailscale Docs
Explore the following topics to find more information about Tailscale Funnel: Get started with Funnel How Funnel works The tailscale funnel command Troubleshoot Funnel Funnel examples How Funnel works Funnel exposes a local resource to the internet through a unique Funnel URL. Using Funnel to share a local resource creates an encrypted tunnel from the internet to a specific resource on your device
OCaml 5.1 と Eio で HTTPS クライアントを書く
Eio とは Eio は、OCaml 5.0 から導入された effect handler を用いた非同期処理ライブラリです。つい先日 1.0 がリリースされ、いまアツいです（筆者調べ）。 Eio では既存の Lwt や Async と異なり処理結果が Lwt.t などの型でラップされないため、bind（>>=）や ppx_lwt の let%lwt x = ... のような記法を用いずに（direct style で）コードを書くことができるという特徴があります。例えば単純な例として、5 秒まってから "Hello world!" と出力するようなコードは、Lwt では以下のように >>= を使って書く必要がありますが： open Lwt.Infix Lwt_main.run ( Lwt_unix.sleep 5.0 >>= fun () -> Lwt_io.printf "Hello
Chapter 1 - Write A TLS on Rust
TLS の RPC を読むために TLS 1.3 RFC 8446 目的 実際に実装することで TLS をざっくり知る。 参考に使えるやつ The Illustrated TLS 1.3 Connection 実装 Rustls はもちろん使用しない。 非同期ランタイムは tokio を使用する 暗号のライブラリを使用するRust Crypto その他できるだけライブラリは使う tls は主に二つにの主要コンポーネントで構成されている。 通信相手を認証し、暗号化モードとパラメーターをネゴシエートし、共有キー情報を確立するハンドシェイクプロトコル（セクション 4）。 ハンドシェイクプロトコルは、改ざんに耐えるように設計されています。 アクティブな攻撃者は、接続が攻撃を受けていない場合にピアとは異なるパラメータをネゴシエートさせることはできません。 ハンドシェイクプロトコルによって確立されたパ
Packet Sender - Free utility to for sending / receiving of network packets. TCP, UDP, SSL, DTLS.
Send & receive TCP, UDP, SSL, DTLS. HTTP Requests. And Panel Generation. Free Download Full version. No ads. No bundles. Read more. Features Packet Sender can send and receive UDP, TCP, SSL, and DTLS on the ports of your choosing. It also has a built-in HTTP client for GET/POST requests and Panel Generation for the creation of complex control systems.
Custom domains on GitHub Pages gain support for HTTPS
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
TLS1.3 のプロトコル概要 - wolfSSL
この資料は、TLS1.3 (RFC8446)「２. プロトコル概要 (Protocol overview)」の翻訳です。 原文: https://www.rfc-editor.org/rfc/rfc8446.txt 参考リンク：wolfSSL: TLS 1.3 製品ページ wolfSSLホーム：www.wolfssl.jp (English：www.wolfssl.com) 2. プロトコル概要 セッション状態の暗号化パラメータはTLSハンドシェイク・プロトコルで生成される。このTLSのサブプロトコルはクライアントとサーバーが互いに最初に通信する際に使用される。ハンドシェイクプロトコルは、プロトコル・バージョン、暗号化アルゴリズムの選択、オプションとしてお互いの認証、共有の秘密の鍵の元について確立する。ハンドシェイクが完了したら、通信の双方はアプリケーション層通信を守るために確立した鍵を使
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - seanmonstar/reqwest: An easy and powerful Rust HTTP Client
GitHub - rust-native-tls/rust-native-tls
GitHub - Byron/yup-hyper-mock: `hyper-mock` is a utility library to help hyper clients with their testing
GitHub - rustls/rustls: A modern TLS library in Rust
GitHub - francoismichel/ssh3: SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
GitHub - drogue-iot/embedded-tls: An Rust TLS 1.3 implementation for embedded devices.
GitHub - fujita/rust-tls
GitHub - facebookincubator/fizz: C++14 implementation of the TLS-1.3 standard
GitHub - kojo1/tinyTLS: tiny TLS