ProVerif

関連するタグ

• ループ

  49questions

  ループとは、プログラミングにおいて、条件に合致している間、複数回繰り返し実行される箇所や、その制御構造を指します

  Myタグに追加
• Cacti

  8questions

  Cactiは、 Webベースのネットワーク監視及び RRDToolを使用してネットワークやサーバーの状態をグラフ化して表示する、 オープンソースソフトウェアです。

  Myタグに追加
• Doctrine2

  19questions

  Doctrine 2.0はPHP(5.3.2+)のORMです。Doctrine1.2はActive Recordのパターンを使っているのに対し、Doctrine 2はData Mapperパターンを使います。Doctrineのプロジェクトはデータベースの抽象性とPHPで書かれたORMを扱うためのオープンソースのライブラリとツールの集合です。

  Myタグに追加
• WebSocket

  167questions

  WebSocketとは双方向・全二重コミュニケーションのためのAPIでありプロトコルのことを指します。WebSocketはHTML5に密接に結びついており、多くのウェブブラウザの最新版に導入されています。

  Myタグに追加
• Python

  7436questions

  Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

  Myタグに追加
• Internet Explorer 8

  13questions

  Windows Internet Explorer 8は、マイクロソフトによって開発されたウェブブラウザで、2009年の3月19日に、Windows XP、Windows Server 2003、Windows Vista、Windows Server 2008、そしてWindows 7に組み込まれました。

  Myタグに追加
• SharePoint

  52questions

  SharePointは、マイクロソフトにより開発された、ソフトウェア開発のドキュメント管理やコラボレーションを行うプラットフォームの総称です

  Myタグに追加
• ロケーション

  3questions

  ロケーションとは物理的スペースにおける特定の場所を表します。または緯度と経度を用いて示される地球上の座標をロケーションと呼びます。

  Myタグに追加
• マイコン

  66questions

  マイクロコンピュータの略で、CPUにマイクロプロセッサを用いたコンピュータのこと。家電製品、電磁機器などの制御に用いられています。単体でコンピュータとしての機能を一通り備えています。 現代のパーソナルコンピュータに近く、同時期のメインフレームやミニコンピュータと比べ、小さいことが特徴です。

  Myタグに追加
• JTable

  9questions

  JTableとは二次元的なセルの表を表示し編集するJava Swing用のコンポーネントです。

  Myタグに追加