アクセリアの研究
DebConf 2018 in 新竹 レポート
Debian Developers Conferenceは毎年開催され、今年は7月29日から8月5日の日程で、台湾の新竹で開催さ...
お役立ちコラム
サイバーレジリエンス
ハードウェアの脆弱性(1)
前回の記事からずいぶん時間が経ってしまいました。皆さんの会社ではGDPR対応は落ち着いたでしょうか。サイバー空間には国境はないと...
Webインフラ関連のトレンド
Interop Tokyo 2018 初参加者による所感
今年も多くのアクセリア技術部員がInterop Tokyoに参加しました。そこで、今年初参加の新人3人にInterop Toky...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 4 - Modules
This blog continues Part 1, Part 2, and Part 3 of our series on s...
アクセリアの研究
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 s...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 2 - Basics of CafeOBJ
This blog continues Part 1 of our series on software specificatio...
サイバーレジリエンス
通信プロトコルの脆弱性(3)
前回の記事からずいぶん時間が経ってしまいましたが、今回も前回に引き続き、ネットワークの通信プロトコルに潜む脆弱性について見ていき...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 1 - Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, t...