WO2021014596A1 - 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム - Google Patents

検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム Download PDF

Info

Publication number
WO2021014596A1
WO2021014596A1 PCT/JP2019/028922 JP2019028922W WO2021014596A1 WO 2021014596 A1 WO2021014596 A1 WO 2021014596A1 JP 2019028922 W JP2019028922 W JP 2019028922W WO 2021014596 A1 WO2021014596 A1 WO 2021014596A1
Authority
WO
WIPO (PCT)
Prior art keywords
file
verification information
software
verification
hash value
Prior art date
Application number
PCT/JP2019/028922
Other languages
English (en)
French (fr)
Inventor
恒子 倉
聖紫 大内
中津留　毅
和巳 木下
Original Assignee
日本電信電話株式会社
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 日本電信電話株式会社 filed Critical 日本電信電話株式会社
Priority to CN201980098649.2A priority Critical patent/CN114175034A/zh
Priority to EP19938814.1A priority patent/EP3989095B1/en
Priority to AU2019458656A priority patent/AU2019458656B2/en
Priority to US17/626,504 priority patent/US20220292224A1/en
Priority to JP2021534472A priority patent/JP7222428B2/ja
Priority to PCT/JP2019/028922 priority patent/WO2021014596A1/ja
Publication of WO2021014596A1 publication Critical patent/WO2021014596A1/ja

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
    • G06F2221/033—Test or assess software

Definitions

  • the present invention relates to a verification information creation system, a verification information creation method, and a verification information creation program.
  • the software is updated by changing settings, applying security patches, and the like. For this reason, the system operator needs to confirm the integrity as appropriate in daily operations in addition to when installing the software.
  • the collation information (verification information) used for the above-mentioned integrity confirmation is not necessarily highly reliable because it can only confirm the integrity at a certain point in time, and is not compatible with general software. There was a problem. Further, when trying to generate verification information corresponding to general software while ensuring reliability, there is a problem that a lot of manual work is required and it takes time and effort.
  • the present invention installs the software to be verified on the device, acquires the directory of the installation destination of the software from the device, and based on the type of the file stored in the acquired directory.
  • a first acquisition unit that identifies a file from which a hash value can be acquired and acquires the file path of the file from which the hash value can be acquired and the hash value of the file, and a file acquired by the first acquisition unit. It is characterized by including a first verification information creation unit that creates verification information used for verification of the software, including a file path and a hash value of the file.
  • FIG. 1 is a diagram showing a configuration example of a verification information creation system.
  • FIG. 2 is a diagram illustrating information obtained by executing the zipinfo command.
  • FIG. 3 is a diagram illustrating information obtained by executing the zipinfo command.
  • FIG. 4 is a diagram showing an example of a verification information list.
  • FIG. 5 is a diagram showing an example of a signed verification information list.
  • FIG. 6 is a flowchart showing an example of a processing procedure of the verification information creating device according to the first embodiment.
  • FIG. 7 is a flowchart showing an example of the analysis process of S112 of FIG.
  • FIG. 8 is a flowchart showing an example of verification processing using the hash value in the verification information.
  • FIG. 1 is a diagram showing a configuration example of a verification information creation system.
  • FIG. 2 is a diagram illustrating information obtained by executing the zipinfo command.
  • FIG. 3 is a diagram illustrating information obtained by executing the zipinfo command.
  • FIG. 4 is
  • FIG. 9 is a flowchart showing an example of additional verification processing of unnecessary files using the verification information.
  • FIG. 10 is a flowchart showing an example of a verification process for deleting a file having an essential configuration using verification information.
  • FIG. 11 is a flowchart showing an example of the verification process of the access source using the verification information.
  • FIG. 12 is a flowchart showing an example of a processing procedure of the verification information creating device according to the second embodiment.
  • FIG. 13 is a diagram showing an example of a computer that executes a verification information creation program.
  • FIG. 14 is a diagram showing an example of a collation information list.
  • the verification information explained below is the basic information for verifying whether the files related to the software installed on the device have been changed or tampered with, and the files are actually changed or tampered with.
  • the collation information is defined as the information modified according to the device for which verification is performed.
  • the verification information creating device of each embodiment operates the software on the verification device in which the software is installed, for example, in order to create the above verification information. Then, the verification information creation device analyzes the actual behavior of the file or directory when the software is operated, and creates verification information.
  • the user when installing software on a verification device using a tar file that summarizes software source files and metadata for installation, the user can specify the installation destination directory.
  • the installation directory specified by the user during installation is saved in config.nice or config.status in the source directory where the above tar file is extracted. Therefore, the verification information creation device identifies the software installation directory based on config.nice or config.status in the source directory where the tar file is extracted. Then, the verification information creation device creates verification information using the information of each file stored in the specified installation directory.
  • the verification information creation device determines whether or not each file is a real file based on the type of each file stored in the specified installation directory. Then, the verification information creation device identifies the actual file as a file that can take a hash value. After that, the verification information creation device calculates a hash value for a file that can take a hash value, and creates verification information including the file path of the file and the calculated hash value (see FIG. 4).
  • the verification information creation device can create verification information regarding a software package in which the user specifies the software installation destination and a software package whose various setting information is changed depending on the installed environment. ..
  • the verification information creation device installs the software in the verification device and analyzes the actual behavior of the files and directories when the software is operated. , As appropriate referred to as "dynamic analysis”.
  • the verification information creation system includes, for example, a verification information creation device 10 that creates verification information of a software package, and a verification device 20 that performs verification processing of software installed in its own verification device 20 using the verification information. ..
  • the verification information creation device 10 includes a data processing unit 11 and a data storage unit 12.
  • the verification information creating device 10 is connected to the user terminal via a network such as the Internet.
  • the data processing unit 11 includes a processing receiving unit 111, a dynamic analysis processing unit 112, and a signature giving unit 113.
  • the data storage unit 12 includes a verification information list storage unit 121, a signed verification information list storage unit 122, and a dynamic analysis rule storage unit 123.
  • the static analysis processing unit 115 and the static analysis rule storage unit 124 shown by the broken line may or may not be equipped in the verification information creation device 10. In the case where they are equipped, the second embodiment. Described in.
  • the processing reception unit 111 receives a request for creating verification information of the software package from the user terminal, and returns the result.
  • the dynamic analysis processing unit 112 performs dynamic analysis on the software package for which verification information is created, and creates verification information.
  • the dynamic analysis processing unit 112 includes a first analysis unit (first acquisition unit) 1121 and a first verification information creation unit 1122.
  • the first analysis unit 1121 reads a rule for performing dynamic analysis of the software package for which verification information is created from the dynamic analysis rule storage unit 123. Then, the first analysis unit 1121 installs the software package in the verification device 20 according to the read rule, and acquires the directory of the installation destination of the software of the software package from the verification device 20. After that, the first analysis unit 1121 identifies a file from which a hash value can be acquired based on the type of file stored in the acquired directory. Then, the first analysis unit 1121 acquires the file path of the file from which the hash value can be acquired and the hash value of the file.
  • the first analysis unit 1121 specifies the software installation directory based on, for example, config.nice or config.status included in the tar file. Then, the first analysis unit 1121 determines whether or not the file is a real file based on the type of the file stored in the specified installation directory.
  • the first analysis unit 1121 identifies the file that is determined to have an entity as a file that can take a hash value. After that, the first analysis unit 1121 calculates the hash value of the file for the file that can take the hash value, and acquires the file path of the file and the calculated hash value of the file.
  • the first analysis unit 1121 also acquires the package name and verification information ID (for example, serial number) of the software package from the tar file.
  • the first analysis unit 1121 can specify the type of each file stored in the installation directory by executing the command shown below, and for a file whose hash value can be obtained, the hash value of the file. To calculate.
  • the file from which the above hash value can be obtained is a text file
  • the file may be rewritten due to a setting change or the like after the software is installed. Therefore, when the file from which the hash value can be obtained is a text file, the first analysis unit 1121 recalculates the hash value of the file after changing the software settings in the verification device 20. Then, the first verification information creation unit 1122 rewrites the hash value related to the file in the verification information to the recalculated value.
  • the software package to be analyzed by the first analysis unit 1121 may be a compressed file.
  • the compressed file is, for example, a zip file or a war file.
  • a zip file is an archive format that handles a plurality of files as one file.
  • the war file is a package of Java (registered trademark) Platform Enterprise Edition (Java EE) application and is compressed in zip format.
  • the file format (t: text file, b: binary file) of the file stored in the compressed file can be confirmed by the zipinfo command (see FIGS. 2 and 3).
  • the first analysis unit 1121 may rewrite the file. Therefore, the first analysis unit 1121 sets the software in the verification device 20. After the change, the hash value of the file is recalculated.
  • the first verification information creation unit 1122 creates the verification information of the software package based on the information acquired by the analysis of the software package by the first analysis unit 1121.
  • the first verification information creation unit 1122 has the package name, verification information ID (for example, serial number) of the software package, and the file of the file to be verified acquired by the analysis of the software package by the first analysis unit 1121. Verification information (see FIG. 4) is created using the path or directory, the hash value of the file, and the like. After that, the first verification information creation unit 1122 stores the created verification information in the verification information list storage unit 121, and returns to the user terminal that the creation of the verification information is completed.
  • verification information ID for example, serial number
  • Verification information (see FIG. 4) is created using the path or directory, the hash value of the file, and the like.
  • the processing reception unit 111 When the processing reception unit 111 receives the verification information read instruction via the user terminal, the processing reception unit 111 reads the verification information to be read from the verification information list storage unit 121 and transmits it to the user terminal. To do. After that, when the processing reception unit 111 receives the correction of the verification information from the user terminal, the verification information reflecting the correction is stored in the verification information list storage unit 121.
  • the processing reception unit 111 adds an access source (executable file path of the program to be accessed) permitted to the access source permission list (see FIG. 4) in the verification information to the verification information from the user terminal.
  • the verification information corrected based on the instruction is stored in the verification information list storage unit 121.
  • the processing reception unit 111 may store the verification information transmitted from the external device (for example, the user terminal) in the verification information list storage unit 121.
  • the signature granting unit 113 grants the user-signed public key certificate to the verification information. For example, when the signature giving unit 113 receives a request for giving a signature to the verification information from the user terminal, the processing receiving unit 111 selects the corresponding verification information from the verification information list storage unit 121 and verifies it to the signature giving unit 113. Pass information. Then, the signature giving unit 113 stores the verification information for the information in which the verification information ID is replaced with the package ID (package name + verification information ID + device identification information in which the verification information is stored) among the verification information. The verification information (see FIG. 5) to which the user signature of the device to be used and the public key certificate of the user signature are given is stored in the signed verification information list storage unit 122.
  • the signature granting unit 113 assigns the user signature of the verification device 20 on which the software package is installed and the public key certificate of the user signature to the verification information (see FIG. 5), and the signed verification information list storage unit. Store in 122.
  • the verification information list storage unit 121 of the data storage unit 12 stores a list of verification information (verification information list).
  • the verification information includes the package name of the software package, the verification information ID, the file path or directory path information of the file to be verified, the hash value (hash value) of the file, the required existence attribute, and the like.
  • the verification information may include a configuration confirmation target attribute, an access source permission list, and the like.
  • the existence required attribute is attribute information indicating whether or not the file shown in the file path / directory path information of the verification information is a required file in the device in which the software package is installed.
  • the configuration confirmation target attribute is attribute information indicating whether or not the file shown in the file path / directory path information of the verification information is the target of the configuration confirmation.
  • the access source permission list is information indicating the execution file path of the program to which access is permitted for the file shown in the file path / directory path information of the verification information.
  • the above-mentioned information of the required existence attribute, the configuration confirmation target attribute, and the access source permission list is, for example, the information input from the user terminal.
  • the signed verification information list storage unit 122 stores a list of signed verification information (see FIG. 5).
  • This list of signed verification information is a list of verification information with the user signature of the device on which the software package is installed and the public key certificate of the user signature.
  • the verification information ID is replaced with the package name + the verification information ID + the identification information of the device in which the verification information is stored as the package ID for each of the verification information shown in FIG.
  • the user signature of the verification device 20 in which the verification information is stored and the public key certificate of the user signature are added to the information.
  • the dynamic analysis rule storage unit 123 stores information (dynamic analysis rule) indicating the dynamic analysis method used for creating the verification information of the software package for each software package.
  • the dynamic analysis rules are as follows, for example. That is, when the first analysis unit 1121 performs dynamic analysis on the tar file, first, for the tar file, the software installation directory is set based on the config.nice or config.status included in the tar file. Identify. Next, the first analysis unit 1121 determines whether or not each file is a real file based on the type of each file stored in the specified installation directory. Then, the first analysis unit 1121 identifies the file that is determined to have an entity as a file that can take a hash value, and acquires the file path of the file and the hash value of the file. is there.
  • the first analysis unit 1121 of the verification information creation device 10 installs the software package for which the verification information is created in the device (S111), and dynamically of the software package based on the dynamic analysis rule of the software package. Execute the analysis (S112). After that, the first verification information creation unit 1122 creates the verification information of the software package based on the analysis result of the software package by the first analysis unit 1121 (S113). Then, the first verification information creation unit 1122 stores the verification information created in S113 in the verification information list storage unit 121.
  • the processing reception unit 111 receives the correction input of the verification information from the user terminal or the like (Yes in S114), the verification information is corrected (S115), and the processing after S111 is executed again.
  • the signature giving unit 113 uses the user signature and the public key of the user signature in the verification information stored in the verification information list storage unit 121.
  • a certificate is attached and stored in the signed verification information list storage unit 122 (S116: signature assignment of verification information).
  • the first analysis unit 1121 specifies the directory where the software of the software package is installed based on the dynamic analysis rule of the software package (S121). After that, the first analysis unit 1121 identifies the type of each file in the directory (S122). Here, with respect to the file determined by the first analysis unit 1121 to be a real file (Yes in S123) based on the type of each file in the directory, the first analysis unit 1121 is the software of the software package. Acquires the package name, verification information ID, file path of the file, and hash value of the file from the device on which the device is installed (S124: Acquires the package name, verification information ID, file path, and hash value). On the other hand, the file that the first analysis unit 1121 determines that it is not a real file (No in S123) based on the type of each file in the directory is not processed in S124.
  • the verification information creation device 10 can create verification information of the software package by dynamic analysis of the software package.
  • the above-mentioned verification information creation process may be executed, for example, when the verification information creation device 10 receives a software package verification information creation instruction from a user terminal or the like, or the existing verification information may be used. It may be executed when the input that the correction has been made is accepted.
  • the verification device 20 shown in FIG. 1 acquires the verification information of its own verification device 20 from the verification information creating device 10, and executes the verification processing shown in FIGS. 8 to 11.
  • the verification information created by the verification information creating device 10 is stored in the verification device 20.
  • the verification device 20 confirms that the received verification information has not been tampered with based on the user signature or the user-signed public key certificate.
  • the verification device 20 compares the software installed in the verification device 20 with the verification information, and stores the information matching the verification device 20 as collation information.
  • the required existence attribute of the software packages of tomcat-9.0.4 and clamav-0.100 is described as "not required”.
  • the contents shown in FIG. 14 are saved as the collation information. .. That is, the verification device 20 stores the information obtained by deleting the verification information of the software file that is not actually installed in the verification device 20 from the signed verification information list as the verification information.
  • the verification device 20 determines that the hash value of the file whose access is detected matches the hash value of the corresponding path of the collation information (Yes in S13), the determination result of the integrity of the file is OK (not tampered with). ) (S15). Then, the verification device 20 outputs the result of the determination to the log (S17).
  • the verification device 20 detects an access to a file in the device, it determines whether or not the file for which the access is detected is a file to be checked for configuration in the collation information (S21).
  • the verification device 20 determines that the file whose access is detected is the file to be checked for configuration in the collation information (Yes in S21)
  • the path of the file whose access is detected is registered in the collation information. It is determined whether or not it exists under the directory (S22).
  • the verification device 20 determines that the path of the file whose access is detected matches the file name or directory name directly under the directory for which the configuration of the verification information is to be confirmed (Yes in S23), the determination result of the completeness of the file is It is determined that it is OK (unnecessary files have not been added) (S25). Then, the verification device 20 outputs the result of the determination to the log (S27).
  • the verification device 20 determines in S22 that the path of the file whose access is detected does not exist under the configuration confirmation target directory registered in the collation information (No in S22), the file is not protected. The determination is made (S26), and the result of the determination is output to the log (S27).
  • the verification device 20 detects access to a file in the device, and when the file that detects the access is a file to be checked for configuration in the collation information (Yes in S31), the file that detects the access is registered in the collation information. It is determined whether or not the file exists under the directory (S32).
  • the verification device 20 determines in S32 that the file whose access is detected exists under the directory registered in the collation information (Yes in S32), the integrity judgment result of the file is OK (the file has been deleted). It is determined (S34). Then, the verification device 20 outputs the result of the determination to the log (S36).
  • the verification device 20 determines that the file whose access is detected does not exist under the directory registered in the collation information (No in S32), the integrity determination result is NG because the file has been deleted. (S33). Then, the verification device 20 outputs the result of the determination to the log (S36).
  • the verification device 20 determines in S42 that the access source permission list is set in the corresponding path of the collation information (Yes in S42), the access source process path of the file detected in the access is collated. It is determined whether or not the information matches the path described in the access source permission list of the corresponding path (S43).
  • the access source is permitted. Since it has not been done, the determination result of completeness is determined to be NG (S47). Then, the verification device 20 outputs the result of the determination to the log (S49).
  • the file whose access is detected by the verification device 20 in S42 determines that the access source permission list is not set in the corresponding path of the collation information (No in S42), it is also determined that the file is not protected (No). S48), the result of the determination is output to the log (S49).
  • the verification device 20 uses various verification processes based on the verification information created by the verification information creation device 10 and using the collation information modified according to the software file installed in the verification device 20. It can be performed.
  • the above verification process may be performed by, for example, the verification information creation device 10.
  • the directory where the software is installed is specified in advance.
  • the installation destination directory is specified in advance for the Linux (registered trademark) rpm package and deb package. Therefore, the verification information creating device 10 can specify the software installation destination by analyzing the software package itself without installing the above rpm package, deb package, etc. in the device.
  • static analysis the analysis of the software package as described above is referred to as static analysis.
  • the rpm package is a system for managing software packages developed by Red Hat.
  • the deb package is a binary package used in Linux (registered trademark) such as Debian and Ubuntu.
  • various information can be obtained by executing the rpm command as shown below after completing the settings.
  • the verification information creation device 10 executes the rpm command to start from the rpm package, the package name, the file name packed in the package, the file mode, and the file type (d: directory / c: character device / s:). Socket /-: file), permissions (r: readable file or directory / w: writable file or directory / x: executeable file), whether the file is flagged as a document or config file, The hash value (MD5), the numerical value of the verification flag for each file, etc. can be acquired.
  • the verification information creation device 10 can acquire each of the above information by executing the above rpm command for the rpm package, for example.
  • the verification information creation device uses a file in which the value obtained by taking the logical product of the above% ⁇ fileverifyflags: hex ⁇ (0x******) and 0x00000001 is 1 as verification information. And.
  • the verification information creation device refers to the value of% ⁇ fileflags ⁇ , and sets the file that is a config file and is not writable as the verification information.
  • the verification information creation device 10 creates, for example, the verification information shown in FIG. 4 by performing the above processing. That is, the verification information creating device 10 has, for example, the package name of the software package for which verification information is created, the verification information ID, the file path or directory path information of the file to be verified in the device, and the file, as shown in FIG. Create verification information including hash value, required existence attribute, etc.
  • the file path and hash value (MD5) of the files included in each package can be obtained with the following command after installation. Therefore, the verification information creation device may be used as the verification information acquired by the following command.
  • the verification information creating device 10 creates the verification information by the static analysis and the verification information by the static analysis. If it is a software package that cannot be created, verification information may be created by dynamic analysis.
  • the verification information creating device 10 described above will be described as the verification information creating device 10 of the second embodiment. The same configurations as those of the first embodiment are designated by the same reference numerals, and the description thereof will be omitted.
  • the verification information creating device 10 in the second embodiment further includes a determination unit 114, a static analysis processing unit 115, and a static analysis rule storage unit 124, as shown by the broken line in FIG.
  • the determination unit 114 determines whether or not the software package for which verification information is created is the software package for which static analysis is to be performed. For example, if the software package for which verification information is created is an rpm package or a deb package, the determination unit 114 determines that the software package is a software package for static analysis. On the other hand, if the software package for which the verification information is created is neither the rpm package nor the deb package, the determination unit 114 determines that the software package is the software package for which the dynamic analysis is to be performed.
  • the static analysis processing unit 115 performs static analysis on the software package and creates verification information using the analysis result.
  • the static analysis processing unit 115 includes a second analysis unit (second acquisition unit) 1151 and a second verification information creation unit 1152.
  • the second analysis unit 1151 reads a rule for performing static analysis on the software package for which verification information is created from the static analysis rule storage unit 124. Then, the second analysis unit 1151 acquires the information of the file that is unlikely to be changed in the daily operation from the file included in the software package according to the read rule.
  • the second analysis unit 1151 executes the file path of a file (for example, a binary file) to be confirmed using a hash value at the time of verification among the files included in the software by executing a predetermined command, and the file. Get the hash value of and the file path of the non-rewritable config file. In addition, the second analysis unit 1151 also acquires the package name and verification information ID (for example, serial number) of the software package.
  • a file for example, a binary file
  • the second analysis unit 1151 also acquires the package name and verification information ID (for example, serial number) of the software package.
  • the second verification information creation unit 1152 creates the verification information of the software package based on the information acquired by the analysis of the software package by the second analysis unit 1151. For example, the second verification information creation unit 1152 uses the package name, verification information ID, and file to be verified of the software package based on the information acquired by the static analysis of the software package by the second analysis unit 1151. Create verification information (see FIG. 4) showing the file path or directory path information of the file, the hash value of the file, the required attributes of existence, and the like. After that, the second verification information creation unit 1152 stores the created verification information in the verification information list storage unit 121, and returns to the user terminal that the creation of the verification information is completed.
  • the static analysis rule storage unit 124 stores information (static analysis rule) indicating how to perform static analysis on the software package for each software package. For example, the static analysis rule executes the rpm command for the rpm package, acquires the information of the binary file that performs hash confirmation at the time of file verification, and is a config file and is not writable. It's like getting information.
  • the determination unit 114 of the verification information creation device 10 determines whether the software package for which the verification information is created is the package software for static analysis (S130).
  • the determination unit 114 determines that the software package for which verification information is created is the package software for static analysis (Yes in S130)
  • the verification information creation device 10 acquires the software package (S131). ..
  • the second analysis unit 1151 executes the analysis of the software package based on the static analysis rule of the software package (S132).
  • the second verification information creation unit 1152 creates the verification information of the software package based on the analysis result of the software package by the second analysis unit 1151 (S133). Then, the second verification information creation unit 1152 stores the verification information created in S133 in the verification information list storage unit 121. After that, when the processing reception unit 111 accepts the correction input of the verification information (Yes in S144), the verification information is corrected to an appropriate content (S145), and the process proceeds to S141.
  • the signature giving unit 113 uses the user signature and the user signature of the verification information stored in the verification information list storage unit 121.
  • the public key certificate of the above is attached and stored in the signed verification information list storage unit 122 (S146: signature assignment of verification information).
  • the verification information creating device 10 is the target for creating the verification information. Install the software package of (S141) on the device. Then, the first analysis unit 1121 executes the dynamic analysis of the software package based on the dynamic analysis rule of the software package (S142). After that, the first verification information creation unit 1122 creates the verification information of the software package based on the analysis result of the software package by the first analysis unit 1121 (S143). Then, the process proceeds to S144.
  • the verification information creation device 10 can create verification information by static analysis for a software package that can create verification information by static analysis.
  • the verification device 20 uses the above verification information to perform a software package verification process in the same manner as in the first embodiment.
  • the information processing device can function as the verification information creation device 10 by causing the information processing device to execute the above program provided as package software or online software.
  • the information processing device referred to here includes a desktop type or notebook type personal computer, a rack-mounted server computer, and the like.
  • the information processing device includes smartphones, mobile phones, mobile communication terminals such as PHS (Personal Handyphone System), and PDA (Personal Digital Assistants).
  • the verification information creation device 10 may be mounted on the cloud server.
  • the computer 1000 has, for example, a memory 1010, a CPU 1020, a hard disk drive interface 1030, a disk drive interface 1040, a serial port interface 1050, a video adapter 1060, and a network interface 1070. Each of these parts is connected by a bus 1080.
  • the memory 1010 includes a ROM (Read Only Memory) 1011 and a RAM (Random Access Memory) 1012.
  • the ROM 1011 stores, for example, a boot program such as a BIOS (Basic Input Output System).
  • BIOS Basic Input Output System
  • the hard disk drive interface 1030 is connected to the hard disk drive 1090.
  • the disk drive interface 1040 is connected to the disk drive 1100.
  • a removable storage medium such as a magnetic disk or an optical disk is inserted into the disk drive 1100.
  • a mouse 1110 and a keyboard 1120 are connected to the serial port interface 1050.
  • a display 1130 is connected to the video adapter 1060, for example.
  • the hard disk drive 1090 stores, for example, OS1091, application program 1092, program module 1093, and program data 1094.
  • the data storage unit described in the above-described embodiment is provided in, for example, the hard disk drive 1090 or the memory 1010.
  • the CPU 1020 reads the program module 1093 and the program data 1094 stored in the hard disk drive 1090 into the RAM 1012 as needed, and executes each of the above-described procedures.
  • the program module 1093 and program data 1094 related to the above verification information creation program are not limited to the case where they are stored in the hard disk drive 1090, for example, they are stored in a removable storage medium and are stored via a disk drive 1100 or the like. It may be read by the CPU 1020. Alternatively, the program module 1093 and the program data 1094 related to the above program are stored in another computer connected via a network such as LAN or WAN (Wide Area Network), and read by the CPU 1020 via the network interface 1070. May be done.
  • LAN or WAN Wide Area Network
  • Verification information creation device 20 Verification device 11 Data processing unit 12 Data storage unit 111 Processing reception unit 112 Dynamic analysis processing unit 113 Signing unit 114 Judgment unit 115 Static analysis processing unit 121 Verification information list storage unit 122 Signed verification information List storage unit 123 Dynamic analysis rule storage unit 124 Static analysis rule storage unit 1121 First analysis unit 1122 First verification information creation unit 1151 Second analysis unit 1152 Second verification information creation unit

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Theoretical Computer Science (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Storage Device Security (AREA)

Abstract

検証情報作成装置（１０）は、ソフトウェアがインストールされた機器から、当該ソフトウェアのインストール先のディレクトリを取得し、取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルのファイルパスおよび当該ファイルのハッシュ値を取得する。そして、検証情報作成装置（１０）は、取得したファイルのファイルパスおよび当該ファイルのハッシュ値を含む、当該ソフトウェアの検証情報を作成する。

Description

検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム
　本発明は、検証情報作成システム、検証情報作成方法、および、検証情報作成プログラムに関する。
　従来、各種機器にインストールされたソフトウェアにセキュリティ上問題がないこと（完全性）を確認するため、当該ソフトウェアに関連するファイルの変更や改ざんを検知する技術がある（非特許文献１，２参照）。ここで、ソフトウェアは、設定変更やセキュリティパッチの適用等で更新される。このため、システム運用者は、ソフトウェアの導入時に加え、日々の運用において適宜完全性を確認する必要がある。
特開2019-8738号公報 特開2019-8377号公報
Tripwire、［online］、［2019年7月11日検索］、インターネット＜https://www.tripwire.co.jp/about/＞ 日経XTECH、"仮想環境のセキュリティを高めるインテルTXT"、［online］、［2019年7月11日検索］、インターネット＜https://tech.nikkeibp.co.jp/it/article/COLUMN/20071114/287197/＞
　しかし、従来技術において、上記の完全性の確認に用いる照合情報（検証情報）は、ある時点で完全性の確認しかできないため信頼性が必ずしも高くない、一般的なソフトウェアには対応していないという問題があった。また、信頼性を確保しつつ、一般的なソフトウェアにも対応する検証情報を生成しようとすると、人手による作業が多くなり手間がかかるという問題があった。
　また、ソフトウェアパッケージの中には、当該ソフトウェアパッケージに関する様々な設定情報やソフトウェアパッケージに含まれる各種ライブラリの依存関係を示した情報（メタ情報）が正しく記述されていない場合もあるので、インストール後に検証情報を手動で設定しなければならない場合もある。また、ソフトウェアパッケージを使わずにソフトウェアをインストールする場合、ユーザがインストール先を指定するため、インストール先を反映した検証情報を作成する必要もあるという問題もあった。そこで、本発明は、本発明は、前記した問題を解決する検証情報の作成手段を提供することを課題とする。
　前記した課題を解決するため、本発明は、検証対象のソフトウェアを機器にインストールし、前記機器から前記ソフトウェアのインストール先のディレクトリを取得し、前記取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルを特定し、前記ハッシュ値を取得可能なファイルのファイルパスおよび前記ファイルのハッシュ値を取得する第１の取得部と、前記第１の取得部により取得されたファイルのファイルパスおよび前記ファイルのハッシュ値を含む、前記ソフトウェアの検証に用いる検証情報を作成する第１の検証情報作成部と、を備えることを特徴とする。
　本発明によれば、検証情報の作成手段を提供することができる。
図１は、検証情報作成システムの構成例を示す図である。 図２は、zipinfoコマンドの実行により得られる情報を例示した図である。 図３は、zipinfoコマンドの実行により得られる情報を例示した図である。 図４は、検証情報リストの例を示す図である。 図５は、署名付き検証情報リストの例を示す図である。 図６は、第１の実施形態における検証情報作成装置の処理手順の例を示すフローチャートである。 図７は、図６のＳ１１２の解析処理の例を示すフローチャートである。 図８は、検証情報におけるhash値を用いた検証処理の例を示すフローチャートである。 図９は、検証情報を用いた、不要なファイルの追加の検証処理の例を示すフローチャートである。 図１０は、検証情報を用いた、必須構成のファイルの削除の検証処理の例を示すフローチャートである。 図１１は、検証情報を用いた、アクセス元の検証処理の例を示すフローチャートである。 図１２は、第２の実施形態における検証情報作成装置の処理手順の例を示すフローチャートである。 図１３は、検証情報作成プログラムを実行するコンピュータの例を示す図である。 図１４は、照合情報リストの例を示す図である。
　以下、図面を参照しながら、本発明を実施するための形態（実施形態）を第１の実施形態および第２の実施形態に分けて説明する。本発明は、以下に説明する各実施形態に限定されない。なお、以下に説明する検証情報は、機器にインストールされたソフトウェアに関連するファイルに変更や改ざんが行われていないかを検証するための基礎となる情報であり、実際にファイルの変更や改ざんが行われていないかを検証する機器に合わせて修正されたものを照合情報と定義する。
［概要］
　以下に、各実施形態の検証情報作成装置（検証情報作成システム）の概要を説明する。各実施形態の検証情報作成装置は、例えば、上記の検証情報を作成するため、ソフトウェアがインストールされた検証装置で当該ソフトウェアを動作させる。そして、検証情報作成装置は、当該ソフトウェアを動作させたときのファイルやディレクトリの実際の振る舞いを解析し、検証情報を作成する。
　例えば、ソフトウェアのソースファイルやインストールのためのメタデータを１つにまとめたtarファイルを用いて検証装置にソフトウェアをインストールする場合、ユーザはインストール先のディレクトリを指定することができる。ここでインストール時にユーザが指定したインストールディレクトリなどは、上記のtarファイルを展開したソースディレクトリ内のconfig.niceまたはconfig.statusに保存されている。よって、検証情報作成装置は、tarファイルを展開したソースディレクトリ内のconfig.niceまたはconfig.statusに基づき、ソフトウェアのインストールディレクトリを特定する。そして、検証情報作成装置は、特定したインストールディレクトリに格納される各ファイルの情報を用いて検証情報を作成する。
　例えば、検証情報作成装置は、特定したインストールディレクトリに格納される各ファイルの種類に基づき、各ファイルが実体のあるファイルか否かを判定する。そして、検証情報作成装置は、実体のあるファイルを、ハッシュ値を取ることができるファイルとして特定する。その後、検証情報作成装置は、ハッシュ値を取ることができるファイルについてハッシュ値を計算し、当該ファイルのファイルパスと計算したハッシュ値とを含む検証情報を作成する（図４参照）。
　このようにすることで検証情報作成装置は、ソフトウェアのインストール先をユーザが指定するようなソフトウェアパッケージや、インストールされた環境によって各種設定情報が変更されるソフトウェアパッケージに関する検証情報を作成することができる。
　なお、以下において、検証情報作成装置が、ソフトウェアパッケージの検証情報の作成のため、検証装置に当該ソフトウェアをインストールし、当該ソフトウェアを動作させたときのファイルやディレクトリの実際の振る舞いを解析することを、適宜「動的解析」と呼ぶ。
［第１の実施形態］
［構成］
　次に、図１を用いて、第１の実施形態の検証情報作成システムの構成例を説明する。検証情報作成システムは、例えば、ソフトウェアパッケージの検証情報を作成する検証情報作成装置１０と、当該検証情報を用いて自身の検証装置２０にインストールされたソフトウェアの検証処理を行う検証装置２０とを備える。
　検証情報作成装置１０は、データ処理部１１と、データ格納部１２とを備える。検証情報作成装置１０は、例えば、インターネット等のネットワーク経由で、利用者端末に接続される。
　データ処理部１１は、処理受付部１１１と、動的解析処理部１１２と、署名付与部１１３とを備える。データ格納部１２は、検証情報リスト格納部１２１と、署名付き検証情報リスト格納部１２２と、動的解析ルール格納部１２３とを備える。
　なお、破線で示す静的解析処理部１１５と静的解析ルール格納部１２４は、検証情報作成装置１０に装備される場合と装備されない場合とがあり、装備される場合については第２の実施形態で述べる。
　まず、データ処理部１１を構成する各部を説明する。処理受付部１１１は、利用者端末からソフトウェアパッケージの検証情報の作成依頼を受け付け、その結果を返す。
　動的解析処理部１１２は、検証情報の作成対象のソフトウェアパッケージに対し動的解析を行い、検証情報を作成する。この動的解析処理部１１２は、第１の解析部（第１の取得部）１１２１と第１の検証情報作成部１１２２とを備える。
　第１の解析部１１２１は、動的解析ルール格納部１２３から、検証情報の作成対象のソフトウェアパッケージについて当該ソフトウェアパッケージの動的解析を行うためのルールを読み出す。そして、第１の解析部１１２１は、読み出したルールに従い、当該ソフトウェアパッケージを検証装置２０にインストールし、当該検証装置２０から、当該ソフトウェアパッケージのソフトウェアのインストール先のディレクトリを取得する。その後、第１の解析部１１２１は、取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルを特定する。そして、第１の解析部１１２１は、当該ハッシュ値を取得可能なファイルのファイルパスと、当該ファイルのハッシュ値とを取得する。
　例えば、第１の解析部１１２１は、例えば、tarファイルに含まれるconfig.niceまたはconfig.statusに基づき、ソフトウェアのインストールディレクトリを特定する。そして、第１の解析部１１２１は、特定したインストールディレクトリに格納されるファイルの種類に基づき、当該ファイルが実体のあるファイルか否かを判定する。
　そして、第１の解析部１１２１は、実体があると判定したファイルを、ハッシュ値を取ることができるファイルとして特定する。その後、第１の解析部１１２１は、ハッシュ値を取ることができるファイルについて、当該ファイルのハッシュ値を計算し、当該ファイルのファイルパスと、計算した当該ファイルのハッシュ値とを取得する。
　また、第１の解析部１１２１は、tarファイルから当該ソフトウェアパッケージのパッケージ名、検証情報ID（例えばシリアル番号）も取得する。
　例えば、第１の解析部１１２１は、以下に示すコマンドを実行することにより、インストールディレクトリに格納される各ファイルの種類を特定し、ハッシュ値を取得することができるファイルについて、当該ファイルのハッシュ値を計算する。
Figure JPOXMLDOC01-appb-M000001
　ここで、例えば、上記のハッシュ値を取得することができるファイルが、テキストファイルである場合、ソフトウェアのインストール後に、設定変更等によりファイルの書き換えが発生する可能性がある。そこで、第１の解析部１１２１は、上記のハッシュ値を取得することができるファイルがテキストファイルである場合、検証装置２０におけるソフトウェアの設定変更後に、当該ファイルのハッシュ値を再計算する。そして、第１の検証情報作成部１１２２は、検証情報における当該ファイルに関するハッシュ値を再計算した値に書き換える。
　また、第１の解析部１１２１による解析対象のソフトウェアパッケージは圧縮ファイルであってもよい。
　圧縮ファイルは、例えば、zipファイルやwarファイルである。zipファイルは、複数のファイルを１つのファイルとしてまとめて取り扱うアーカイブフォーマットである。warファイルは、Java（登録商標）　Platform　Enterprise　Edition(Java　EE)アプリケーションのパッケージであり、zip形式で圧縮されている。
　zipファイルもwarファイルイも、zipinfoコマンドにより当該圧縮ファイルに格納されているファイルのファイル形式（t:テキストファイル、b：バイナリファイル）を確認することができる（図２および図３参照）。
　よって、第１の解析部１１２１は、例えば、上記のzipinfoコマンドにより得られたファイルのファイル形式がテキストファイルであれば、当該ファイルは書き換えられる可能性があるので、当該検証装置２０におけるソフトウェアの設定変更後に、当該ファイルのハッシュ値を再計算する。
　第１の検証情報作成部１１２２は、第１の解析部１１２１によるソフトウェアパッケージの解析により取得された情報をもとに、当該ソフトウェアパッケージの検証情報を作成する。
　例えば、第１の検証情報作成部１１２２は、第１の解析部１１２１によるソフトウェアパッケージの解析により取得された、当該ソフトウェアパッケージのパッケージ名、検証情報ID（例えばシリアル番号）、検証対象のファイルのファイルパスまたはディレクトリ、当該ファイルのハッシュ値等を用いて検証情報（図４参照）を作成する。その後、第１の検証情報作成部１１２２は、作成した検証情報を検証情報リスト格納部１２１に格納し、検証情報の作成が完了したことを利用者端末に返す。
　なお、処理受付部１１１が利用者端末経由で検証情報の読み出し指示を受け付けた場合、処理受付部１１１は、検証情報リスト格納部１２１から読み出し指示の対象の検証情報を読み出し、利用者端末へ送信する。その後、処理受付部１１１が、利用者端末から当該検証情報の修正を受け付けると、修正を反映した検証情報を検証情報リスト格納部１２１に格納する。
　例えば、処理受付部１１１が、利用者端末から、検証情報に、当該検証情報におけるアクセス元許可リスト（図４参照）に許可されるアクセス元（アクセス許可されるプログラムの実行ファイルパス）を追加する旨の指示を受け付けると、当該指示に基づき修正した検証情報を検証情報リスト格納部１２１に格納する。
　なお、処理受付部１１１は、外部装置（例えば、利用者端末）から送信された検証情報を検証情報リスト格納部１２１に格納してもよい。
　署名付与部１１３は、検証情報にユーザ署名の公開鍵証明書を付与する。例えば、署名付与部１１３が、利用者端末から検証情報に署名の付与依頼を受け付けると、処理受付部１１１は、検証情報リスト格納部１２１から該当する検証情報を選択し、署名付与部１１３に検証情報を渡す。そして、署名付与部１１３は、当該検証情報のうち、検証情報IDをパッケージID(パッケージ名+検証情報ID+検証情報が格納される機器の識別情報)として置き換えた情報に対して、検証情報が格納される機器のユーザ署名とユーザ署名の公開鍵証明書とを付与した検証情報（図５参照）を署名付き検証情報リスト格納部１２２に格納する。
　そして、署名付与部１１３は、当該検証情報に、ソフトウェアパッケージがインストールされる検証装置２０のユーザ署名とユーザ署名の公開鍵証明書とを付与し（図５参照）、署名付き検証情報リスト格納部１２２に格納する。
　次に、データ格納部１２の各部を説明する。データ格納部１２の検証情報リスト格納部１２１は、検証情報のリスト（検証情報リスト）を格納する。検証情報は、例えば、図４に示すように、ソフトウェアパッケージのパッケージ名、検証情報ID、検証対象のファイルのファイルパスまたはディレクトリパス情報、当該ファイルのhash値（ハッシュ値）、存在必須属性等を含む。また、検証情報は、図４に示すように、構成確認対象属性、アクセス元許可リスト等を含んでいてもよい。
　存在必須属性は、検証情報のファイルパス／ディレクトリパス情報に示されるファイルが、当該ソフトウェアパッケージのインストールされる機器において必須のファイルか否かを示す属性情報である。
　また、構成確認対象属性は、検証情報のファイルパス／ディレクトリパス情報に示されるファイルが、構成確認の対象であるか否かを示す属性情報である。
　さらに、アクセス元許可リストは、検証情報のファイルパス／ディレクトリパス情報に示されるファイルに対し、アクセスが許可されるプログラムの実行ファイルパスを示す情報である。
　上記の存在必須属性、構成確認対象属性、アクセス元許可リストの情報は、例えば、利用者端末から入力された情報である。
　署名付き検証情報リスト格納部１２２は、署名付き検証情報のリスト（図５参照）を格納する。この署名付き検証情報のリストは、ソフトウェアパッケージがインストールされる機器のユーザ署名とユーザ署名の公開鍵証明書とを付与した検証情報のリストである。例えば、署名付き検証情報のリスト（図５参照）は、図４に示す検証情報それぞれに、検証情報IDを、パッケージ名+検証情報ID+検証情報が格納される機器の識別情報をパッケージIDとして置き換えた情報に対して、検証情報が格納される検証装置２０のユーザ署名とユーザ署名の公開鍵証明書とを付与したものである。
　動的解析ルール格納部１２３は、ソフトウェアパッケージごとに、当該ソフトウェアパッケージの検証情報の作成に用いる動的解析の方法を示した情報（動的解析ルール）を格納する。
　動的解析ルールは、例えば、以下のようなものである。すなわち、第１の解析部１１２１が、tarファイルに対し動的解析を行う際には、まず、tarファイルについて、当該tarファイルに含まれるconfig.niceまたはconfig.statusに基づき、ソフトウェアのインストールディレクトリを特定する。次に、第１の解析部１１２１は、特定したインストールディレクトリに格納される各ファイルの種類に基づき、各ファイルが実体のあるファイルか否かを判定する。そして、第１の解析部１１２１は、実体があると判定したファイルについて、ハッシュ値を取ることができるファイルとして特定し、当該ファイルのファイルパスと、当該ファイルのハッシュ値とを取得するといったものである。
［処理手順］
　次に、図６を用いて検証情報作成装置１０の処理手順の例を説明する。例えば、検証情報作成装置１０が、利用者端末等から、ソフトウェアパッケージの検証情報を作成する旨の入力を受け付けると以下の処理を実行する。
　まず、検証情報作成装置１０の第１の解析部１１２１は、検証情報の作成対象のソフトウェアパッケージを機器にインストールし（Ｓ１１１）、当該ソフトウェアパッケージの動的解析ルールに基づき、当該ソフトウェアパッケージの動的解析を実行する（Ｓ１１２）。その後、第１の検証情報作成部１１２２は、第１の解析部１１２１による当該ソフトウェアパッケージの解析結果に基づき、当該ソフトウェアパッケージの検証情報を作成する（Ｓ１１３）。そして、第１の検証情報作成部１１２２は、Ｓ１１３で作成した検証情報を検証情報リスト格納部１２１に格納する。
　その後、処理受付部１１１が、利用者端末等から検証情報の修正入力を受け付けた場合（Ｓ１１４でＹｅｓ）、検証情報を修正し（Ｓ１１５）、再度Ｓ１１１以降の処理を実行する。一方、処理受付部１１１が検証情報の修正入力を受け付けなかった場合（Ｓ１１４でＮｏ）、署名付与部１１３は、検証情報リスト格納部１２１に格納される検証情報にユーザ署名とユーザ署名の公開鍵証明書とを付与し、署名付き検証情報リスト格納部１２２に格納する（Ｓ１１６：検証情報の署名付与）。
　図７を用いて、Ｓ１１２の解析処理を詳細に説明する。まず、第１の解析部１１２１は、当該ソフトウェアパッケージの動的解析ルールに基づき、当該ソフトウェアパッケージのソフトウェアのインストール先のディレクトリを特定する（Ｓ１２１）。その後、第１の解析部１１２１は、当該ディレクトリ内の各ファイルの種類を特定する（Ｓ１２２）。ここで、第１の解析部１１２１が、当該ディレクトリ内の各ファイルの種類に基づき、実体のあるファイルと判定した（Ｓ１２３でＹｅｓ）ファイルについて、第１の解析部１１２１は、当該ソフトウェアパッケージのソフトウェアのインストール先の機器から、パッケージ名、検証情報ID、当該ファイルのファイルパス、当該ファイルのハッシュ値を取得する（Ｓ１２４：パッケージ名、検証情報ID、ファイルパス、ハッシュ値を取得）。一方、第１の解析部１１２１が、当該ディレクトリ内の各ファイルの種類に基づき、実体のあるファイルではないと判定した（Ｓ１２３でＮｏ）ファイルは、Ｓ１２４の処理は行わない。
　このようにすることで検証情報作成装置１０は、ソフトウェアパッケージの動的解析により、当該ソフトウェアパッケージの検証情報を作成することができる。なお、上記の検証情報の作成処理は、例えば、検証情報作成装置１０が利用者端末等から、ソフトウェアパッケージの検証情報の作成指示を受け付けた場合に実行してもよいし、既存の検証情報に修正が行われた旨の入力を受け付けた場合に実行してもよい。
［検証処理の例］
　次に、検証情報作成装置１０により作成された検証情報を用いた検証処理の例を説明する。例えば、図１に示す検証装置２０は、検証情報作成装置１０から、自身の検証装置２０の検証情報を取得し、図８～図１１に示す検証処理を実行する。まず、図８を用いて、検証情報におけるhash値を用いた検証処理の例について説明する。検証情報作成装置１０で作成された検証情報は、検証装置２０に格納される。検証装置２０は、ユーザ署名やユーザ署名公開鍵証明書に基づき、受領した検証情報が改ざんされていないことを確認する。検証装置２０では、当該検証装置２０にインストールされているソフトウェアと検証情報とを比較し、当該検証装置２０に合致するものを照合情報として格納する。これがファイルの変更や改ざんのチェックに使われるものとなる。例えば、図５に示す署名付き検証情報リストでは、tomcat-9.0.4とclamav-0.100のソフトウェアパッケージの存在必須属性が「必須でない」と記されている。ここで、検証装置２０には、tomcat-9.0.4はインストールされているが、clamav-0.100はインストールされていないとすると、照合情報としては図１４に記載された内容が保存されることになる。つまり、検証装置２０は、署名付き検証情報リストから、実際には当該検証装置２０にインストールされていないソフトウェアのファイルの検証情報を削除した情報を、照合情報として格納する。
［hash値を用いた検証処理］
　まず、検証装置２０が当該検証装置２０内のファイルへのアクセスを検知すると、アクセスを検知したファイルのパスが、照合情報に登録されているパスと一致するか否かを判定する（Ｓ１１）。ここで、検証装置２０が、アクセスを検知したファイルのパスが、照合情報に登録されているパスと一致すると判定し（Ｓ１１でＹｅｓ）、かつ、当該照合情報の該当パスにhash値が存在する場合（Ｓ１２でＹｅｓ）、アクセスを検知したファイルのhash値が照合情報の該当パスのhash値と一致するか否かを判定する（Ｓ１３）。
　Ｓ１３で、検証装置２０がアクセスを検知したファイルのhash値が照合情報の該当パスのhash値と一致しないと判定した場合（Ｓ１３でＮｏ）、当該ファイルは改ざんされているため、完全性の判定結果はNGと判定する（Ｓ１４）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ１７）。
　一方、検証装置２０がアクセスを検知したファイルのhash値が照合情報の該当パスのhash値と一致すると判定した場合（Ｓ１３でＹｅｓ）、当該ファイルの完全性の判定結果はOK（改ざんされていない）と判定する（Ｓ１５）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ１７）。
　なお、Ｓ１１で検証装置２０がアクセスを検知したファイルのパスが、照合情報に登録されているパスと一致しないと判定した場合（Ｓ１１でＮｏ）、当該ファイルは保護対象外と判定し（Ｓ１６）、その判定の結果をログに出力する（Ｓ１７）。また、検証装置２０が当該照合情報の該当パスにhash値が存在しないと判定した場合（Ｓ１２でＮｏ）も、当該ファイルは保護対象外と判定し（Ｓ１６）、その判定の結果をログに出力する（Ｓ１７）。
［不要なファイルの追加の検証処理］
　次に、図９を用いて、不要なファイルの追加の検証処理の例について説明する。まず、検証装置２０が機器内のファイルへのアクセスを検知すると、アクセスを検知したファイルが、照合情報において構成確認対象のファイルであるか否かを判定する（Ｓ２１）。ここで、検証装置２０が、アクセスを検知したファイルが、照合情報において構成確認対象のファイルであると判定した場合（Ｓ２１でＹｅｓ）、アクセスを検知したファイルのパスが照合情報に登録されているディレクトリの配下に存在するか否かを判定する（Ｓ２２）。
　Ｓ２２で検証装置２０がアクセスを検知したファイルのパスが照合情報に登録されているディレクトリの配下に存在すると判定した場合（Ｓ２２でＹｅｓ）、Ｓ２３へ進む。
　Ｓ２３において、検証装置２０が、アクセスを検知したファイルのパスが照合情報のディレクトリの直下のファイル名またはディレクトリ名と一致しないと判定した場合（Ｓ２３でＮｏ）、検証装置２０は、意図しないファイルが追加されているため、完全性の判定結果はNGと判定する（Ｓ２４）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ２７）。
　一方、検証装置２０がアクセスを検知したファイルのパスが照合情報の構成確認対象ディレクトリの直下のファイル名またはディレクトリ名と一致すると判定した場合（Ｓ２３でＹｅｓ）、当該ファイルの完全性の判定結果はOK（不要なファイルが追加されていない）と判定する（Ｓ２５）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ２７）。
　なお、Ｓ２１で検証装置２０がアクセスを検知したファイルが、照合情報において構成確認対象のファイルではない場合（Ｓ２１でＮｏ）、当該ファイルは保護対象外と判定し（Ｓ２６）、その判定の結果をログに出力する（Ｓ２７）。
　また、Ｓ２２で検証装置２０がアクセスを検知したファイルのパスが照合情報に登録されている構成確認対象ディレクトリの配下に存在しないと判定した場合（Ｓ２２でＮｏ）も、当該ファイルは保護対象外と判定し（Ｓ２６）、その判定の結果をログに出力する（Ｓ２７）。
［必須構成のファイルの削除の検証処理］
　次に、図１０を用いて、必須構成のファイルの削除の検証処理の例について説明する。まず検証装置２０が機器内のファイルへのアクセスを検知し、アクセスを検知したファイルが、照合情報において構成確認対象のファイルである場合（Ｓ３１でＹｅｓ）、アクセスを検知したファイルが照合情報に登録されているディレクトリの配下に存在するか否かを判定する（Ｓ３２）。
　Ｓ３２で検証装置２０がアクセスを検知したファイルが照合情報に登録されているディレクトリの配下に存在すると判定した場合（Ｓ３２でＹｅｓ）、当該ファイルの完全性の判定結果はOK（ファイルが削除されていない）と判定する（Ｓ３４）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ３６）。
　一方、検証装置２０がアクセスを検知したファイルが照合情報に登録されているディレクトリの配下に存在しないと判定した場合（Ｓ３２でＮｏ）、当該ファイルは削除されているため完全性の判定結果はNGと判定する（Ｓ３３）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ３６）。
　なお、Ｓ３１で検証装置２０がアクセスを検知したファイルのパスが構成確認対象のファイルではない場合も（Ｓ３１でＮｏ）、当該ファイルは保護対象外と判定し（Ｓ３５）、その判定の結果をログに出力する（Ｓ３６）。
［アクセス元の検証処理］
　次に、図１１を用いて、アクセス元の検証処理の例について説明する。まず、検証装置２０が機器内のファイルへのアクセスを検知し、アクセスを検知したファイルのパスが、照合情報に登録されているパスと一致する場合（Ｓ４１でＹｅｓ）、照合情報の該当パスにアクセス元許可リストが設定されているか否かを判定する（Ｓ４２）。
　Ｓ４２で検証装置２０がアクセスを検知したファイルが照合情報の該当パスにアクセス元許可リストが設定されていると判定した場合（Ｓ４２でＹｅｓ）、アクセスを検知したファイルのアクセス元プロセスパスが、照合情報の該当パスのアクセス元許可リストに記載のパスと一致するか否かを判定する（Ｓ４３）。
　Ｓ４３で検証装置２０がアクセスを検知したファイルのアクセス元プロセスパスが、照合情報の該当パスのアクセス元許可リストに記載のパスと一致しないと判定した場合（Ｓ４３でＮｏ）、当該アクセス元は許可されていないため、完全性の判定結果はNGと判定する（Ｓ４７）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ４９）。
　一方、Ｓ４３で検証装置２０がアクセスを検知したファイルのアクセス元プロセスパスが、照合情報の該当パスのアクセス元許可リストに記載のパスと一致すると判定した場合（Ｓ４３でＹｅｓ）、アクセスを検知したファイルのアクセス元プロセスのhash値の確認を行う（Ｓ４４）。そして、検証装置２０が、アクセスを検知したファイルのアクセス元プロセスのhash値の確認結果がOKでなければ（Ｓ４４でＮｏ）、当該ファイルは改ざんされているため完全性の判定結果はNGと判定する（Ｓ４５）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ４９）。
　一方、Ｓ４４で、検証装置２０が、アクセスを検知したファイルのアクセス元プロセスのhash値の確認結果がOKであれば（Ｓ４４でＹｅｓ）、当該ファイルの完全性の判定結果はOKと判定する（Ｓ４６）。そして、検証装置２０は、その判定の結果をログに出力する（Ｓ４９）。
　なお、Ｓ４１で検証装置２０がアクセスを検知したファイルが、照合情報に登録されているパスと一致しない場合（Ｓ４１でＮｏ）、当該ファイルは保護対象外と判定し（Ｓ４８）、その判定の結果をログに出力する（Ｓ４９）。
　また、Ｓ４２で検証装置２０がアクセスを検知したファイルが照合情報の該当パスにアクセス元許可リストが設定されていないと判定した場合（Ｓ４２でＮｏ）も、当該ファイルは保護対象外と判定し（Ｓ４８）、その判定の結果をログに出力する（Ｓ４９）。
　このようにすることで、検証装置２０は、検証情報作成装置１０により作成された検証情報に基づき、当該検証装置２０にインストールされるソフトウェアのファイルに合わせて修正した照合情報を用いて各種検証処理を行うことができる。
　なお、上記の検証処理は、例えば、検証情報作成装置１０が行ってもよい。
［第２の実施形態］
　ソフトウェアパッケージの中には、ソフトウェアのインストール先のディレクトリが予め指定されているものがある。例えば、Linux（登録商標）のrpmパッケージ、debパッケージには、インストール先のディレクトリが予め指定されている。よって、検証情報作成装置１０は、上記のrpmパッケージ、debパッケージ等については、機器にインストールしなくても、ソフトウェアパッケージ自体を解析することで、ソフトウェアのインストール先を特定することができる。以下、上記のようなソフトウェアパッケージの解析を静的解析と呼ぶ。
　なお、rpmパッケージとはレッドハット社が開発したソフトウェアのパッケージを管理するためのシステムである。debパッケージは、DebianやUbuntuなど、Linux（登録商標）で用いられるバイナリのパッケージである。
　例えば、rpmパッケージの場合、設定まで完了した後に、以下に示すように、rpmコマンドを実行することで、様々な情報を取得することができる。
Figure JPOXMLDOC01-appb-M000002
　つまり、検証情報作成装置１０は、rpmコマンドを実行することで、rpmパッケージから、パッケージ名、パッケージに梱包されているファイル名、ファイルモード、ファイルタイプ（d:ディレクトリ/c:キャラクタデバイス/s:ソケット/-:ファイル）、パーミッション（r:ファイルやディレクトリの読み出し可/w:ファイルやディレクトリの書き込み可/x:ファイルの実行可）、ドキュメントまたはコンフィグファイルとフラグが付けられたファイルか否か、ハッシュ値(MD5)、各々のファイルに対する検証フラグの数値等を取得することができる。
　検証情報作成装置１０は、例えば、rpmパッケージに対し、上記のrpmコマンドを実行することにより、上記の各情報を取得することができる。
　ここで、パッケージに含まれるファイルのうち、ファイルの検証時にハッシュ確認を行うものは、ファイルの書き換えが発生しないバイナリファイルであると見なせる。よって、検証情報作成装置は、上記の%｛fileverifyflags:hex｝の値(0x********)と0x00000001の論理積を取った値が1となるファイルを、検証情報として用いるファイルとする。
　また、パッケージに含まれるファイルのうち、コンフィグファイルで、かつ、書き込み不可となっているものは、一度設定したら変更は発生しないと見なせる。よって、検証情報作成装置は、%｛fileflags｝の値を参照し、コンフィグファイルで、かつ、書き込み不可となっているファイルについても検証情報として用いるファイルとする。
　検証情報作成装置１０が、上記の処理を行うことで、例えば、図４に示す検証情報を作成する。すなわち、検証情報作成装置１０は、例えば、図４に示す、検証情報の作成対象のソフトウェアパッケージのパッケージ名、検証情報ID、当該機器における検証対象のファイルのファイルパスまたはディレクトリパス情報、当該ファイルのハッシュ値、存在必須属性等を含む検証情報を作成する。
　なお、debパッケージの場合は、インストール後に各パッケージに含まれるファイルのファイルパスとハッシュ値(MD5)は、以下のコマンドで取得できる。よって、検証情報作成装置は、以下のコマンドで取得した検証情報として使用すればよい。
　#　dlocate　--md5sum　パッケージ名
　そこで、検証情報作成装置１０は、検証情報の作成対象のソフトウェアパッケージが、静的解析により検証情報を作成できるソフトウェアパッケージであれば、静的解析により検証情報を作成し、静的解析により検証情報を作成できないソフトウェアパッケージであれば、動的解析により検証情報を作成してもよい。上記の検証情報作成装置１０を第２の実施形態の検証情報作成装置１０として説明する。第１の実施形態と同じ構成は同じ符号を付して説明を省略する。
　第２の実施形態における検証情報作成装置１０は、図１の破線で示す、判定部１１４と、静的解析処理部１１５と、静的解析ルール格納部１２４とをさらに備える。
　判定部１１４は、検証情報の作成対象となるソフトウェアパッケージが、静的解析の対象となるソフトウェアパッケージか否かを判定する。例えば、判定部１１４は、検証情報の作成対象となるソフトウェアパッケージが、rpmパッケージまたはdebパッケージであれば、当該ソフトウェアパッケージを静的解析の対象となるソフトウェアパッケージと判定する。一方、検証情報の作成対象となるソフトウェアパッケージが、rpmパッケージでもなくdebパッケージでもなければ、判定部１１４は当該ソフトウェアパッケージを動的解析の対象となるソフトウェアパッケージと判定する。
　静的解析処理部１１５は、ソフトウェアパッケージに対し、静的解析を行い、その解析結果を用いて検証情報を作成する。この静的解析処理部１１５は、第２の解析部（第２の取得部）１１５１と、第２の検証情報作成部１１５２とを備える。
　第２の解析部１１５１は、静的解析ルール格納部１２４から、検証情報の作成対象のソフトウェアパッケージについて当該ソフトウェアパッケージに対し静的解析を行うためのルールを読み出す。そして、第２の解析部１１５１は、読み出したルールに従い、当該ソフトウェアパッケージに含まれるファイルから、日々の運用において変更される可能性が低いファイルの情報を取得する。
　例えば、第２の解析部１１５１は、所定のコマンドを実行することにより、ソフトウェアに含まれるファイルのうち、検証時にハッシュ値を用いた確認を行うファイル（例えば、バイナリファイル）のファイルパスおよび当該ファイルのハッシュ値と、書き換え不可のコンフィグファイルのファイルパスとを取得する。また、第２の解析部１１５１は、当該ソフトウェアパッケージのパッケージ名、検証情報ID（例えばシリアル番号）も取得する。
　第２の検証情報作成部１１５２は、第２の解析部１１５１によるソフトウェアパッケージの解析により取得された情報をもとに、当該ソフトウェアパッケージの検証情報を作成する。例えば、第２の検証情報作成部１１５２は、第２の解析部１１５１によるソフトウェアパッケージの静的解析により取得された情報をもとに、当該ソフトウェアパッケージのパッケージ名、検証情報ID、検証対象のファイルのファイルパスまたはディレクトリパス情報、当該ファイルのハッシュ値、存在必須属性等を示した検証情報（図４参照）を作成する。その後、第２の検証情報作成部１１５２は、作成した検証情報を検証情報リスト格納部１２１に格納し、検証情報の作成が完了したことを利用者端末に返す。
　静的解析ルール格納部１２４は、ソフトウェアパッケージごとに、当該ソフトウェアパッケージに対し静的解析を行うやり方を示した情報（静的解析ルール）を格納する。例えば、静的解析ルールは、rpmパッケージに対して、rpmコマンドを実行し、ファイルの検証時にハッシュ確認を行うバイナリファイルの情報を取得し、コンフィグファイルで、かつ、書き込み不可となっているファイルの情報を取得するといったものである。
［処理手順］
　次に、図１２を用いて第２の実施形態の検証情報作成装置１０の処理手順の例を説明する。例えば、検証情報作成装置１０が、利用者端末等から、ソフトウェアパッケージの検証情報を作成する旨の入力を受け付けると以下の処理を実行する。
　まず、検証情報作成装置１０の判定部１１４は、検証情報の作成対象のソフトウェアパッケージが静的解析の対象のパッケージソフトウェアか否かを判定する（Ｓ１３０）。ここで、判定部１１４が検証情報の作成対象のソフトウェアパッケージが静的解析の対象のパッケージソフトウェアであると判定した場合（Ｓ１３０でＹｅｓ）、検証情報作成装置１０はソフトウェアパッケージを取得する（Ｓ１３１）。そして、第２の解析部１１５１は、当該ソフトウェアパッケージの静的解析ルールに基づき、当該ソフトウェアパッケージの解析を実行する（Ｓ１３２）。
　その後、第２の検証情報作成部１１５２は、第２の解析部１１５１による当該ソフトウェアパッケージの解析結果に基づき、当該ソフトウェアパッケージの検証情報を作成する（Ｓ１３３）。そして、第２の検証情報作成部１１５２は、Ｓ１３３で作成した検証情報を検証情報リスト格納部１２１に格納する。その後、処理受付部１１１が検証情報の修正入力を受け付けた場合（Ｓ１４４でＹｅｓ）、検証情報を適切な内容に修正し（Ｓ１４５）、Ｓ１４１へ進む。
　一方、Ｓ１４４において、処理受付部１１１が検証情報の修正入力を受け付けなかった場合（Ｓ１４４でＮｏ）、署名付与部１１３は、検証情報リスト格納部１２１に格納される検証情報のユーザ署名とユーザ署名の公開鍵証明書とを付与し、署名付き検証情報リスト格納部１２２に格納する（Ｓ１４６：検証情報の署名付与）。
　また、Ｓ１３０において、判定部１１４が検証情報の作成対象のソフトウェアパッケージが静的解析の対象のパッケージソフトウェアではないと判定した場合（Ｓ１３０でＮｏ）、検証情報作成装置１０は、検証情報の作成対象のソフトウェアパッケージを機器にインストールする（Ｓ１４１）。そして、第１の解析部１１２１は、当該ソフトウェアパッケージの動的解析ルールに基づき、当該ソフトウェアパッケージの動的解析を実行する（Ｓ１４２）。その後、第１の検証情報作成部１１２２は、第１の解析部１１２１による当該ソフトウェアパッケージの解析結果に基づき、当該ソフトウェアパッケージの検証情報を作成する（Ｓ１４３）。そして、Ｓ１４４へ進む。
　このようにすることで検証情報作成装置１０は、静的解析により検証情報を作成することができるソフトウェアパッケージについては静的解析により検証情報を作成することができる。
　その後、例えば、検証装置２０は、上記の検証情報を用いて、第１の実施形態と同様にソフトウェアパッケージの検証処理を行う。
［プログラム］
　また、上記の実施形態で述べた検証情報作成装置１０の機能を実現するプログラムを所望の情報処理装置（コンピュータ）にインストールすることによって実装できる。例えば、パッケージソフトウェアやオンラインソフトウェアとして提供される上記のプログラムを情報処理装置に実行させることにより、情報処理装置を検証情報作成装置１０として機能させることができる。ここで言う情報処理装置には、デスクトップ型またはノート型のパーソナルコンピュータ、ラック搭載型のサーバコンピュータ等が含まれる。また、その他にも、情報処理装置にはスマートフォン、携帯電話機やＰＨＳ（Personal　Handyphone　System）等の移動体通信端末、さらには、ＰＤＡ（Personal　Digital　Assistants）等がその範疇に含まれる。また、検証情報作成装置１０を、クラウドサーバに実装してもよい。
　図１３を用いて、上記のプログラム（検証情報作成プログラム）を実行するコンピュータの一例を説明する。図１３に示すように、コンピュータ１０００は、例えば、メモリ１０１０と、ＣＰＵ１０２０と、ハードディスクドライブインタフェース１０３０と、ディスクドライブインタフェース１０４０と、シリアルポートインタフェース１０５０と、ビデオアダプタ１０６０と、ネットワークインタフェース１０７０とを有する。これらの各部は、バス１０８０によって接続される。
　メモリ１０１０は、ＲＯＭ（Read　Only　Memory）１０１１およびＲＡＭ（Random　Access　Memory）１０１２を含む。ＲＯＭ１０１１は、例えば、ＢＩＯＳ（Basic　Input　Output　System）等のブートプログラムを記憶する。ハードディスクドライブインタフェース１０３０は、ハードディスクドライブ１０９０に接続される。ディスクドライブインタフェース１０４０は、ディスクドライブ１１００に接続される。ディスクドライブ１１００には、例えば、磁気ディスクや光ディスク等の着脱可能な記憶媒体が挿入される。シリアルポートインタフェース１０５０には、例えば、マウス１１１０およびキーボード１１２０が接続される。ビデオアダプタ１０６０には、例えば、ディスプレイ１１３０が接続される。
　ここで、図１３に示すように、ハードディスクドライブ１０９０は、例えば、ＯＳ１０９１、アプリケーションプログラム１０９２、プログラムモジュール１０９３およびプログラムデータ１０９４を記憶する。前記した実施形態で説明したデータ格納部は、例えばハードディスクドライブ１０９０やメモリ１０１０に装備される。
　そして、ＣＰＵ１０２０が、ハードディスクドライブ１０９０に記憶されたプログラムモジュール１０９３やプログラムデータ１０９４を必要に応じてＲＡＭ１０１２に読み出して、上述した各手順を実行する。
　なお、上記の検証情報作成プログラムに係るプログラムモジュール１０９３やプログラムデータ１０９４は、ハードディスクドライブ１０９０に記憶される場合に限られず、例えば、着脱可能な記憶媒体に記憶されて、ディスクドライブ１１００等を介してＣＰＵ１０２０によって読み出されてもよい。あるいは、上記のプログラムに係るプログラムモジュール１０９３やプログラムデータ１０９４は、ＬＡＮやＷＡＮ（Wide　Area　Network）等のネットワークを介して接続された他のコンピュータに記憶され、ネットワークインタフェース１０７０を介してＣＰＵ１０２０によって読み出されてもよい。
　１０　検証情報作成装置
　２０　検証装置
　１１　データ処理部
　１２　データ格納部
　１１１　処理受付部
　１１２　動的解析処理部
　１１３　署名付与部
　１１４　判定部
　１１５　静的解析処理部
　１２１　検証情報リスト格納部
　１２２　署名付き検証情報リスト格納部
　１２３　動的解析ルール格納部
　１２４　静的解析ルール格納部
　１１２１　第１の解析部
　１１２２　第１の検証情報作成部
　１１５１　第２の解析部
　１１５２　第２の検証情報作成部

Claims (8)

  1. 　検証対象のソフトウェアを機器にインストールし、前記機器から前記ソフトウェアのインストール先のディレクトリを取得し、前記取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルを特定し、前記ハッシュ値を取得可能なファイルのファイルパスおよび前記ファイルのハッシュ値を取得する第１の取得部と、
    　前記第１の取得部により取得されたファイルのファイルパスおよび前記ファイルのハッシュ値を含む、前記ソフトウェアの検証に用いる検証情報を作成する第１の検証情報作成部と、
    　を備えることを特徴とする検証情報作成システム。
  2. 　前記第１の取得部は、
    　前記ハッシュ値を取得可能なファイルがテキストファイルである場合、前記機器において前記ソフトウェアの設定変更の実施後に前記テキストファイルのハッシュ値を取得すること
    　を特徴する請求項１に記載の検証情報作成システム。
  3. 　前記ソフトウェアが、tarファイルによりインストールされるソフトウェアである場合、前記第１の取得部は、前記機器において前記tarファイルを展開したディレクトリに保存されるconfig.niceまたはconfig.statusから、前記ソフトウェアのインストール先のディレクトリを取得する
    　ことを特徴とする請求項１に記載の検証情報作成システム。
  4. 　前記検証対象のソフトウェアが、rpmパッケージまたはdebパッケージのソフトウェアであるか否かを判定する判定部と、
    　前記検証対象のソフトウェアが、rpmパッケージまたはdebパッケージのソフトウェアであると判定された場合、前記ソフトウェアのソフトウェアパッケージに対し所定のコマンドを実行することにより、前記ソフトウェアパッケージに含まれるファイルのうち、当該ファイルの検証時にハッシュ値を用いて確認を行うファイルのファイルパスおよび前記ファイルのハッシュ値を取得する第２の取得部と、
    　前記第２の取得部により取得されたファイルパスおよび前記ファイルのハッシュ値を含む前記ソフトウェアパッケージの検証情報を作成する第２の検証情報作成部と、
    　をさらに備えることを特徴とする請求項１に記載の検証情報作成システム。
  5. 　前記検証情報の作成後、前記検証情報が変更された場合、前記第１の取得部は、再度、前記ソフトウェアを機器にインストールし、前記ハッシュ値を取得可能なファイルのファイルパスおよび前記ファイルのハッシュ値を取得し、
    　前記第１の検証情報作成部は、前記第１の取得部により取得されたファイルのファイルパスおよび前記ファイルのハッシュ値を含む、前記ソフトウェアの検証情報を作成する
    　ことを特徴とする請求項１～請求項４のいずれか１項に記載の検証情報作成システム。
  6. 　前記検証情報に、前記ソフトウェアがインストールされた機器のユーザのユーザ署名と、前記ユーザの公開鍵証明書とを付与する署名付与部
    　をさらに備えることを特徴とする請求項１に記載の検証情報作成システム。
  7. 　検証情報作成システムにより実行される検証情報作成方法であって、
    　検証対象のソフトウェアを機器にインストールし、前記機器から前記ソフトウェアのインストール先のディレクトリを取得し、前記取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルを特定し、前記ハッシュ値を取得可能なファイルのファイルパスおよび前記ファイルのハッシュ値を取得する工程と、
    　前記取得したファイルのファイルパスおよび前記ファイルのハッシュ値を含む、前記ソフトウェアの検証に用いる検証情報を作成する工程と、
    　を含むことを特徴とする検証情報作成方法。
  8. 　検証対象のソフトウェアを機器にインストールし、前記機器から前記ソフトウェアのインストール先のディレクトリを取得し、前記取得したディレクトリに格納されるファイルの種類に基づき、ハッシュ値を取得可能なファイルを特定し、前記ハッシュ値を取得可能なファイルのファイルパスおよび前記ファイルのハッシュ値を取得するステップと、
    　前記取得したファイルのファイルパスおよび前記ファイルのハッシュ値を含む、前記ソフトウェアの検証に用いる検証情報を作成するステップと、
    　をコンピュータに実行させることを特徴とする検証情報作成プログラム。
PCT/JP2019/028922 2019-07-23 2019-07-23 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム WO2021014596A1 (ja)

Priority Applications (6)

Application Number Priority Date Filing Date Title
CN201980098649.2A CN114175034A (zh) 2019-07-23 2019-07-23 验证信息生成系统、验证信息生成方法以及验证信息生成程序
EP19938814.1A EP3989095B1 (en) 2019-07-23 2019-07-23 Verification information creation system, verification information creation method, and verification information creation program
AU2019458656A AU2019458656B2 (en) 2019-07-23 2019-07-23 Verification information generating system, verification information generating method, and verification information generating program
US17/626,504 US20220292224A1 (en) 2019-07-23 2019-07-23 Verification information generating system, verification information generating method, and verification information generating program
JP2021534472A JP7222428B2 (ja) 2019-07-23 2019-07-23 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム
PCT/JP2019/028922 WO2021014596A1 (ja) 2019-07-23 2019-07-23 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2019/028922 WO2021014596A1 (ja) 2019-07-23 2019-07-23 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム

Publications (1)

Publication Number Publication Date
WO2021014596A1 true WO2021014596A1 (ja) 2021-01-28

Family

ID=74193572

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2019/028922 WO2021014596A1 (ja) 2019-07-23 2019-07-23 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム

Country Status (6)

Country Link
US (1) US20220292224A1 (ja)
EP (1) EP3989095B1 (ja)
JP (1) JP7222428B2 (ja)
CN (1) CN114175034A (ja)
AU (1) AU2019458656B2 (ja)
WO (1) WO2021014596A1 (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2022259477A1 (ja) 2021-06-10 2022-12-15 日本電信電話株式会社 監視装置、監視方法及び監視プログラム

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2019008376A (ja) * 2017-06-20 2019-01-17 日本電信電話株式会社 ファイル管理装置及びファイル管理方法
JP2019008738A (ja) 2017-06-28 2019-01-17 日本電信電話株式会社 検証装置
JP2019008377A (ja) 2017-06-20 2019-01-17 日本電信電話株式会社 照合情報生成装置、管理システム及び照合情報生成方法

Family Cites Families (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100062844A1 (en) * 2003-03-05 2010-03-11 Bally Gaming, Inc. Authentication and validation systems for gaming devices
CN105706060B (zh) * 2013-09-04 2018-11-27 惠普发展公司，有限责任合伙企业 数据包的报头部分下载
US10284374B2 (en) * 2015-06-10 2019-05-07 Arris Enterprises Llc Code signing system with machine to machine interaction
WO2018004596A1 (en) * 2016-06-30 2018-01-04 Intel Corporation Technologies for serializable binary data distribution
CN106485139B (zh) * 2016-09-29 2019-06-04 商客通尚景科技（上海）股份有限公司 一种应用程序的安全验证方法
CN110059475A (zh) * 2018-01-18 2019-07-26 伊姆西Ip控股有限责任公司 用于数据保护的方法、设备和计算机程序产品
US11438139B2 (en) * 2018-02-07 2022-09-06 Raouf Boutaba Blockchain based secure naming and update verification
CN111046436A (zh) * 2018-10-11 2020-04-21 中国人民解放军战略支援部队航天工程大学 基于系统级包管理的签名认证方法及服务器
JP7056514B2 (ja) * 2018-10-30 2022-04-19 日本電信電話株式会社 管理システム、取得装置及び管理方法
CN114175033A (zh) * 2019-07-23 2022-03-11 日本电信电话株式会社 验证信息生成系统、验证信息生成方法以及验证信息生成程序
CN114830117A (zh) * 2019-12-17 2022-07-29 日本电信电话株式会社 验证信息修正装置、验证信息修正方法和验证信息修正程序
AU2021414143A1 (en) * 2020-12-30 2023-07-06 Virsec Systems, Inc. Zero dwell time process library and script monitoring
US20240129194A1 (en) * 2021-03-25 2024-04-18 Intel Corporation Multiradio interface data model and radio application package container format for reconfigurable radio systems
CN114444027A (zh) * 2021-12-27 2022-05-06 北京升明科技有限公司 软件签名植入方法、验证方法、装置、电子设备及介质
CN116340932A (zh) * 2023-03-29 2023-06-27 北京科银京成技术有限公司 具有隔离功能的应用程序包生成方法、管理方法及装置

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2019008376A (ja) * 2017-06-20 2019-01-17 日本電信電話株式会社 ファイル管理装置及びファイル管理方法
JP2019008377A (ja) 2017-06-20 2019-01-17 日本電信電話株式会社 照合情報生成装置、管理システム及び照合情報生成方法
JP2019008738A (ja) 2017-06-28 2019-01-17 日本電信電話株式会社 検証装置

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
"Intel TXT Enhances Security in Virtual Environments", NIKKEI XTECH, 11 July 2019 (2019-07-11), Retrieved from the Internet <URL:https://tech.nikkeibp.co.jp/it/article/COLUMN/20071114/287197/>
NISHIMURA, MEGUMI: "All techniques for package management!. Master for rpm/deb/tgz", LINUX WORLD, IDG JAPAN, JP, vol. 5, no. 9, 1 September 2001 (2001-09-01), JP, pages 107 - 123, XP009533105 *
TRIPWIRE, 11 July 2019 (2019-07-11), Retrieved from the Internet <URL:https://www.tripwire.co.jp/about>

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2022259477A1 (ja) 2021-06-10 2022-12-15 日本電信電話株式会社 監視装置、監視方法及び監視プログラム

Also Published As

Publication number Publication date
JP7222428B2 (ja) 2023-02-15
US20220292224A1 (en) 2022-09-15
EP3989095A4 (en) 2022-12-21
AU2019458656B2 (en) 2023-06-08
EP3989095A1 (en) 2022-04-27
CN114175034A (zh) 2022-03-11
AU2019458656A1 (en) 2022-02-24
JPWO2021014596A1 (ja) 2021-01-28
EP3989095B1 (en) 2023-10-11

Similar Documents

Publication Publication Date Title
US8332909B2 (en) Automated software restriction policy rule generation
CN102521081B (zh) 修复遭破坏的软件
US8082442B2 (en) Securely sharing applications installed by unprivileged users
CN105989306B (zh) 操作系统的文件签名方法、文件校验方法及装置
US9767280B2 (en) Information processing apparatus, method of controlling the same, information processing system, and information processing method
US8353041B2 (en) Secure application streaming
US20060236122A1 (en) Secure boot
JP2007200102A (ja) 不正コードおよび不正データのチェックシステム、プログラムおよび方法
US8656494B2 (en) System and method for optimization of antivirus processing of disk files
CN111052117B (zh) 在没有多元化创作的情况下安全地定义操作系统组成
JP6713954B2 (ja) ファイル管理装置及びファイル管理方法
CN110298171B (zh) 移动互联网大数据应用的智能检测与安全防护方法
US6915433B1 (en) Securely extensible component meta-data
JP2007148962A (ja) サブプログラム、そのサブプログラムを実行する情報処理装置、及びそのサブプログラムを実行する情報処理装置におけるプログラム制御方法
RU2491623C1 (ru) Система и способ проверки файлов на доверенность
RU2357287C2 (ru) Безопасная идентификация исполняемого файла для определяющего доверие логического объекта
WO2021014596A1 (ja) 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム
JP6744256B2 (ja) 確認システム、制御装置及び確認方法
JP7184198B2 (ja) 検証情報作成システム、検証情報作成方法、および、検証情報作成プログラム
WO2021124460A1 (ja) 検証情報修正装置、検証情報修正方法、および、検証情報修正プログラム
JP2018005613A (ja) 更新方法、プログラム、情報処理装置、及び更新データ生成装置
US11526609B1 (en) System and method for recent file malware scanning
AU2019420941B2 (en) Update device and update method
KR20190020999A (ko) 악성프로그램 처리장치 및 처리방법
WO2020027159A1 (ja) 情報処理装置、検証方法および検証プログラム

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 19938814

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 2021534472

Country of ref document: JP

Kind code of ref document: A

ENP Entry into the national phase

Ref document number: 2019938814

Country of ref document: EP

Effective date: 20220119

NENP Non-entry into the national phase

Ref country code: DE

ENP Entry into the national phase

Ref document number: 2019458656

Country of ref document: AU

Date of ref document: 20190723

Kind code of ref document: A