コラム
サイバーレジリエンス、Webインフラ関連や最新技術に関する注目トピックを取り上げています
-
Specification and Verification of Software with CafeOBJ – Part 3 – First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software specification and verification with CafeOBJ. (Part 1 and Part 2) We will go throu…
- アクセリアの研究
-
Specification and Verification of Software with CafeOBJ – Part 2 – Basics of CafeOBJ
This blog continues Part 1 of our series on software specification and verification with CafeOBJ.(Part 1) CafeOBJ can be obtained from the website…
- アクセリアの研究
-
通信プロトコルの脆弱性(3) – 「ひらけごま」はバックドアへ続く合言葉？！
前回の記事からずいぶん時間が経ってしまいましたが、今回も前回に引き続き、ネットワークの通信プロトコルに潜む脆弱性について見ていきましょう。 前回…
- サイバーレジリエンス
-
Specification and Verification of Software with CafeOBJ – Part 1 – Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of t…
- アクセリアの研究
-
「CES 2018」に見る家電のトレンドと、サービス基盤として求められる安定したインターネットの重要性
早いものでこのコラムを始めて一年が過ぎました。一年前にこのコラムで紹介した米国ラスベガスで開催された家電の展示会「CES」、今回は昨年との差分を中心に…
- Webインフラ関連
-
Analyzing Debian packages with Neo4j – Part 3 Getting data from UDD into Neo4j
In the first part and the second part of this series of articles on analyzing Debian packages with Neo4j we gave a short introduction to Debian and t…
- アクセリアの研究
-
Analyzing Debian packages with Neo4j – Part 2 UDD and Graph DB Schema
In the first part of this series of articles on analyzing Debian packages with Neo4j we gave a short introduction to Debian and the life time and str…
- アクセリアの研究
-
通信プロトコルの脆弱性(2) – 「なかなか治らない脆弱性」「忘れられた脆弱性」
今回も前回に引き続き、ネットワークの通信プロトコルに潜む脆弱性について見ていきましょう。前回のコラムを書いてから、Wi-Fiでひろく使われている暗号プロ…
- サイバーレジリエンス
-
Analyzing Debian packages with Neo4j
The Ultimate Debian Database UDD collects a variety of data around Debian and Ubuntu: Packages and sources, bugs, history of uploads, just to name a …
- アクセリアの研究
-
通信プロトコルの脆弱性(1) – 意識しないところに存在する脆弱性
前回までのコラムでは、３回にわたって設定の脆弱性について解説しました。脆弱性なんて開発現場だけの話でしょ、と思っていた人に読んでもらえればと思いま…
- サイバーレジリエンス
サービスにご興味をお持ちの方は
お気軽にお問い合わせください。
Webからお問い合わせ
お問い合わせお電話からお問い合わせ
平日09:30 〜 18:00
Free Service