アプリケーションの構成要素である複数のファイルを含むパッケージファイルに含まれる前記複数のファイルから、所定の圧縮形式で圧縮されているファイルを抽出する抽出部と、前記抽出部によって抽出されたファイルを展開して得られるファイルのファイル名が、アプリケーションの構成要素として必須であるファイルのファイル名と一致するか否かを判定する判定部と、を備えたことを特徴とするマルウェア検知装置。前記所定の圧縮形式はZIP形式であることを特徴とする請求項1に記載のマルウェア検知装置。前記判定部はさらに、前記抽出部によって抽出されたファイルの拡張子がzipまたはapkであるか否かを判定することを特徴とする請求項1または請求項2に記載のマルウェア検知装置。前記判定部はさらに、前記抽出部によって抽出されたファイルに、実行可能形式のバイナリファイルが含まれているか否かを判定することを特徴とする請求項1~請求項3のいずれか一項に記載のマルウェア検知装置。請求項1に記載のマルウェア検知装置としてコンピュータを機能させるためのプログラム。しかし、アプリケーションを構成するファイルのファイル名と、ブラックリストに登録されたファイル名との照合を行うことによるマルウェアの検知から逃れるため、マルウェアの作成者が、ブラックリストに登録されているファイル名を有する悪意のファイルのファイル名の全部または一部例えば、拡張子を変更してアプリケーションのファイルに追加する場合がある。このため、マルウェア検知の回避が可能となり、的確なマルウェア検知を実現することができないという問題があった。また、ブラックリストに登録されていない新規なマルウェアを検知することができないという問題があった。本発明は、上述した課題に鑑みてなされたものであって、ブラックリストを利用したマルウェア検知手法では検知できないマルウェアをより的確に検知することができるマルウェア検知装置およびプログラムを提供することを目的とする。本発明は、上記の課題を解決するためになされたもので、アプリケーションの構成要素である複数のファイルを含むパッケージファイルに含まれる前記複数のファイルから、所定の圧縮形式で圧縮されているファイルを抽出する抽出部と、前記抽出部によって抽出されたファイルを展開して得られるファイルのファイル名が、アプリケーションの構成要素として必須であるファイルのファイル名と一致するか否かを判定する判定部と、を備えたことを特徴とするマルウェア検知装置である。また、本発明のマルウェア検知装置において、前記所定の圧縮形式はZIP形式であることを特徴とする。また、本発明のマルウェア検知装置において、前記判定部はさらに、前記抽出部によって抽出されたファイルの拡張子がzipまたはapkであるか否かを判定することを特徴とする。また、本発明のマルウェア検知装置において、前記判定部はさらに、前記抽出部によって抽出されたファイルに、実行可能形式のバイナリファイルが含まれているか否かを判定することを特徴とする。また、本発明は、上記のマルウェア検知装置としてコンピュータを機能させるためのプログラムである。本発明によれば、パッケージファイルに含まれる複数のファイルから、所定の圧縮形式で圧縮されているファイルを抽出し、抽出されたファイルを展開して得られるファイルのファイル名が、アプリケーションの構成要素として必須であるファイルのファイル名と一致するか否かを判定することによって、ブラックリストを利用したマルウェア検知手法では検知できないマルウェアをより的確に検知することができる。以下、図面を参照し、本発明の実施形態を説明する。本実施形態では、一例として、スマートフォンに搭載されるOSの一つであるAndroid登録商標で動作するアプリケーションを対象としたマルウェア検知手法を説明する。本実施形態のマルウェア検知手法では、アプリケーションを構成するファイルのうち所定の圧縮形式で圧縮されているファイルを展開して得られるファイルのファイル名に基づいてマルウェアを検知する。本明細書および図面では、便宜上、必要に応じてAndroid登録商標という文字列をandrdという文字列で代用している。すなわち、andrdという文字列はAndroid登録商標という文字列と等価である。以下、本実施形態のマルウェア検知手法を説明する。アプリケーションの実行ファイルであるapkファイルパッケージファイルは、拡張子がapkのファイルであり、アプリケーションが利用する機能や権限が定義されたマニフェストファイル拡張子がxml、命令列を含む実行コード拡張子がdex、アプリケーションが利用する画像ファイル等の各種リソースファイルをZIP形式で圧縮したファイルである。図3に示すように、正規のアプリケーション300は、マニフェストファイル310、実行コード320、その他のファイル画像ファイル330等で構成されている。マニフェストファイル310と実行コード320はapkファイルの構成要素として必須のファイルである。また、マニフェストファイル310と実行コード320は、正規のアプリケーションとして正しくインストールおよび実行するために必要なファイルであり、かつ、正常な動作を行うためにはファイル名拡張子を含むを変更してはいけないファイルである。マニフェストファイル310のファイル名拡張子を含むは常にandrdManifestxmlであり、実行コード320のファイル名拡張子を含むは常にclassesdexである。一方、図3に示すように、マルウェア400は、マニフェストファイル410、実行コード420、エクスプロイトコード430、およびZIP形式のファイル440で構成されている。マニフェストファイル410と実行コード420は正規のアプリケーションにも含まれているが、エクスプロイトコード430とファイル440はマルウェアに特有のファイルである。エクスプロイトコード430は、実行可能形式のバイナリファイルである。エクスプロイトコード430が実行されると、アプリケーションは、管理者権限であるroot権限を奪い、情報漏洩等の悪意の挙動を示す。ファイル440は、ZIP形式で圧縮されたファイルである。ファイル440を展開すると、マニフェストファイル441、実行コード442、その他のファイル画像ファイル443が得られる。マニフェストファイル441と実行コード442はapkファイルの構成要素として必須のファイルであり、ファイル440自体もapkファイルである。つまり、マルウェア400は、悪性アプリケーションとしてのapkファイルであるファイル440を内包している。ブラックリストを利用したマルウェア検知から逃れるために、マルウェアの作成者は悪性apkファイルのファイル名や拡張子を変更する。図3の例では、ファイル440の拡張子がapkからpngに変更されている。マルウェア400を上記のように構成することによって、アプリケーションを構成するファイルの名称ファイル名と、ブラックリストに登録されているファイル名とを比較するマルウェア検知において、マルウェアとして検知されないようになる。マルウェア400は以下のように実行される。図4は、マルウェア400が実行されて情報漏洩等の被害が発生するまでの手順を示している。端末の利用者がマルウェア400を端末にインストールしステップS200、マルウェア400を起動するとステップS210、実行コード420がエクスプロイトコード430を実行するステップS220。マルウェア400が利用できる権限はマニフェストファイル410によって制限されているが、エクスプロイトコード430の実行により、マルウェア400はroot権限を得ることができる。root権限を得ることにより、実行コード420は、apkファイルとしての構成を有するファイル440悪性アプリケーションをインストールしステップS230、悪性アプリケーションを起動するステップS240。起動した悪性アプリケーションは情報漏洩等の動作を行い、被害が発生するステップS250。図3に示したように、マルウェア400は、所定の圧縮形式図3の例ではZIP形式で圧縮されたファイル440を有し、ファイル440を展開して得られるファイルには、アプリケーションの構成要素として必須であるマニフェストファイル410と実行コード420が含まれるという特徴がある。本実施形態では、この特徴の有無を検査することによりマルウェアの有無を判定する手法をとっている。次に、本実施形態のマルウェア検知手法を適用したマルウェア検知装置アプリケーション解析装置の構成と動作を説明する。図1は、本実施形態によるマルウェア検知装置の構成を示している。図1に示すように、マルウェア検知装置は、記憶部10、抽出部11、および判定部12を有する。記憶部10は、マルウェア検知の対象となるアプリケーションのapkファイルや、マルウェア検知の結果等を記憶する。抽出部11は、apkファイルからZIP形式のファイル図3のファイル440を抽出する。判定部12は、抽出部11によって抽出されたファイルを展開して得られるファイル図3のマニフェストファイル441等のファイル名が、アプリケーションの構成要素として必須であるファイルのファイル名と一致するか否かを判定する。図2はマルウェア検知装置の動作を示している。以下、マルウェア検知装置の動作を説明する。まず、抽出部11は、マルウェア検知の対象であるアプリケーションのapkファイルを記憶部10から読み出す。apkファイルはZIP形式で圧縮されており、抽出部11はapkファイルを展開伸長するステップS100。続いて、抽出部11は、apkファイルを展開して得られた各ファイルのヘッダを参照し、ZIP形式であることを示す情報がヘッダに格納されているファイルを抽出するステップS110。具体的には、ファイルのヘッダの先頭4バイトがリトルエンディアンで0x04034b50またはビッグエンディアンでPK003004であるZIP形式のファイルが抽出される。続いて、判定部12は、抽出部11によって抽出されたZIP形式のファイルを展開伸長し、得られた各ファイルの名称ファイル名を確認し、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアであるか否かを判定するステップS120。具体的には、ファイル名がandrdManifestxmlであるファイルと、ファイル名がclassesdexであるファイルとの両方が確認された場合、ZIP形式のファイルは悪性アプリケーションであるため、判定部12は、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアであると判定し、判定結果を記憶部10に格納する。また、ファイル名がandrdManifestxmlであるファイルと、ファイル名がclassesdexであるファイルとの少なくとも一方が確認されなかった場合、ZIP形式のファイルは悪性アプリケーションではないため、判定部12は、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアではないと判定し、判定結果を記憶部10に格納する。また、ステップS110でZIP形式のファイルが抽出されなかった場合も、判定部12は、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアではないと判定し、判定結果を記憶部10に格納する。上記では、判定結果を記憶部10に格納しているが、判定結果を図示せぬ表示部に表示してもよい。以上のようにしてマルウェアを検知することができるが、さらに以下のようにしてもよい。前述したように、ブラックリストを利用したマルウェア検知から逃れるために、マルウェアであるapkファイルに含まれる悪性apkファイル図3のファイル440のファイル名や拡張子が変更されることに着目し、悪性apkファイルに関する付随情報を得てもよい。例えば、判定部12は、抽出部11によって抽出されたZIP形式のファイルの拡張子がzipまたはapkであるか否かを判定する。抽出部11によって抽出されたZIP形式のファイルの拡張子がzipでもapkでもない場合、判定部12は、悪性度が高いと判定し、悪性度が高いことを示す付随情報を、ステップS120で得られた判定結果と関連付けて記憶部10に格納する。あるいは、ステップS120でファイル名がandrdManifestxmlであるファイルと、ファイル名がclassesdexであるファイルとの両方が確認され、かつ、上記のようにZIP形式のファイルの拡張子がzipでもapkでもない場合に、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアであると判定してもよい。また、マルウェア検知の対象であるアプリケーションのapkファイルにエクスプロイトコードのような実行可能形式のバイナリファイルが含まれているか否かを判定し、悪性apkファイルに関する付随情報を得てもよい。例えば、判定部12は、ステップS100でapkファイルを展開して得られた各ファイルのヘッダを参照し、実行可能形式のバイナリファイルであることを示す情報がヘッダに格納されているファイルがあるか否かを判定する。具体的には、判定部12は、ファイルのヘッダの先頭4バイトがリトルエンディアンで0X464C457Fまたはビッグエンディアンで0x7F454C46であるファイルがあるか否かを判定する。実行可能形式のバイナリファイルであることを示す情報がヘッダに格納されているファイルがある場合、判定部12は、悪性度が高いと判定し、悪性度が高いことを示す付随情報を、ステップS120で得られた判定結果と関連付けて記憶部10に格納する。あるいは、ステップS120でファイル名がandrdManifestxmlであるファイルと、ファイル名がclassesdexであるファイルとの両方が確認され、かつ、上記のようにapkファイルに実行可能形式のバイナリファイルが含まれている場合に、マルウェア検知の対象であるアプリケーションのapkファイルがマルウェアであると判定してもよい。上述したように、本実施形態によれば、apkファイルに含まれる複数のファイルからZIP形式のファイルを抽出し、抽出されたファイルを展開して得られるファイルのファイル名が、アプリケーションの構成要素として必須であるマニフェストファイルや実行コードのファイル名と一致するか否かを判定することによって、ブラックリストを利用したマルウェア検知手法では検知できないマルウェアをより的確に検知することができる。また、ZIP形式のファイルの拡張子がzipまたはapkであるか否かを判定することや、apkファイルに実行可能形式のバイナリファイルが含まれているか否かを判定することによって、マルウェア検知の対象であるアプリケーションのapkファイルがよりマルウェアらしい特徴を有しているか否かに関する付随情報を得ることができる。本実施形態のマルウェア検知手法を、例えばスマートフォン用のアプリケーションを通信ネットワーク上で販売する販売サイトにおけるアプリケーションの事前審査に適用することが可能である。また、本実施形態のマルウェア検知手法をアンチウイルスソフトに適用することも可能である。上述したマルウェア検知装置は、その動作および機能を実現するためのプログラムをコンピュータ読み取り可能な記録媒体に記録して、この記録媒体に記録されたプログラムをコンピュータに読み込ませ、実行させることにより、実現される。ここで、コンピュータは、WWWシステムを利用している場合であれば、ホームページ提供環境あるいは表示環境も含むものとする。また、コンピュータ読み取り可能な記録媒体とは、フレキシブルディスク、光磁気ディスク、ROM、CD-ROM等の可搬媒体、コンピュータに内蔵されるハードディスク等の記憶装置のことをいう。さらにコンピュータ読み取り可能な記録媒体とは、インターネット等のネットワークや電話回線等の通信回線を介してプログラムが送信された場合のサーバやクライアントとなるコンピュータシステム内部の揮発性メモリRAMのように、一定時間プログラムを保持しているものも含むものとする。また、上述したプログラムは、このプログラムを記憶装置等に格納したコンピュータから、伝送媒体を介して、あるいは伝送媒体中の伝送波により他のコンピュータに伝送されてもよい。ここで、プログラムを伝送する伝送媒体は、インターネット等のネットワーク通信網や電話回線等の通信回線通信線のように、情報を伝送する機能を有する媒体のことをいう。また、上述したプログラムは、前述した機能の一部を実現するためのものであってもよい。さらに、前述した機能を、コンピュータに既に記録されているプログラムとの組合せで実現できるもの、いわゆる差分ファイル差分プログラムであってもよい。以上、図面を参照して本発明の実施形態について詳述してきたが、具体的な構成は上記の実施形態に限られるものではなく、本発明の要旨を逸脱しない範囲の設計変更等も含まれる。