サクサク読めて、アプリ限定の機能も多数!
「産業技術研究所と株式会社レピダムは共同で暗号通信 SSL/TLS の一実装の安全性を Coq (正確には Coq の弟分であるSSReflect)で確かめる作業を進めています。」で http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/ に繋がったと
airj12 のブックマーク 2014/06/06 07:43
IIJ Research Laboratory[Coq][programming]「産業技術研究所と株式会社レピダムは共同で暗号通信 SSL/TLS の一実装の安全性を Coq (正確には Coq の弟分であるSSReflect)で確かめる作業を進めています。」で <a href="http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/" target="_blank" rel="noopener nofollow">http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/</a> に繋がったと2014/06/06 07:43
「産業技術研究所と株式会社レピダムは共同で暗号通信 SSL/TLS の一実装の安全性を Coq (正確には Coq の弟分であるSSReflect)で確かめる作業を進めています。」で <a href="http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/" target="_blank" rel="noopener nofollow">http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/</a> に繋がったと
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.iij-ii.co.jp2011/04/05
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが...
96 人がブックマーク・14 件のコメント
\ コメントが サクサク読める アプリです /
「産業技術研究所と株式会社レピダムは共同で暗号通信 SSL/TLS の一実装の安全性を Coq (正確には Coq の弟分であるSSReflect)で確かめる作業を進めています。」で http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/ に繋がったと
airj12 のブックマーク 2014/06/06 07:43
このブックマークにはスターがありません。
最初のスターをつけてみよう!
IIJ Research Laboratory
www.iij-ii.co.jp2011/04/05
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが...
96 人がブックマーク・14 件のコメント
\ コメントが サクサク読める アプリです /