Comparing certificates Experimental feature

You are comparing two certificates. By default, only differing attributes are shown. Use the button below to show/hide all attributes.

Showing only differing attributes.
MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System V4.0
JISEC-CC-CRP-C0076 		Feitian FT-JCOS v1.0/0.106.13 running on Infineon M7892 B11
SERTIT-091
name MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System V4.0 Feitian FT-JCOS v1.0/0.106.13 running on Infineon M7892 B11
category Operating Systems ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme JP NO
not_valid_after 07.10.2013 22.11.2021
not_valid_before 24.01.2007 22.11.2016
report_link https://www.commoncriteriaportal.org/files/epfiles/c0076_ecvr.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/SERTIT-091CR%20Feitian%20v1.0.pdf
st_link https://www.commoncriteriaportal.org/files/epfiles/ https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/[08250][FTJCOS][ST][V1.0.12]FTJCOS_Security_Target.pdf
manufacturer Miracle Linux Corporation Feitian Technologies Co., Ltd.
manufacturer_web https://www.ftsafe.com
security_level EAL1 EAL5+, AVA_VAN.5, ALC_DVS.2
dgst ac287c45e166eaf5 9b8e2c2e7f69fdbb
heuristics/cert_id JISEC-CC-CRP-C0076 SERTIT-091
heuristics/extracted_sars {} ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, AVA_VAN.5, ASE_INT.1, ALC_CMC.4, ADV_COMP.1, ASE_REQ.2, ADV_INT.2, ASE_COMP.1, AGD_PRE.1, ATE_IND.2, ATE_DPT.1, ASE_ECD.1, ADV_IMP.1, ADV_TDS.4, ALC_LCD.1, ALC_DVS.2, ASE_SPD.1, ALC_COMP.1, ATE_COV.2, ATE_COMP.1, ALC_CMS.5, AVA_COMP.1, AGD_OPE.1, ADV_FSP.5, ALC_DEL.1, ASE_TSS.1, ADV_ARC.1, ALC_TAT.2
heuristics/extracted_versions 4.0 1.0, 0.106.13
heuristics/scheme_data
  • cert_id: JISEC-CC-CRP-C0076
  • certification_date: 01.01.2007
  • claim: EAL1
  • enhanced:
    • assurance_level: EAL1
    • description: PRODUCT DESCRIPTION This TOE is a common part of MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One which is commercially available distribution of the Linux operating system. It is a multi-user, multi-tasking operating system designed for use on Intel x86 platforms. This TOE provides identification and authorization, discretionary access control, process separation, auditing of identification and authorization to protect information against illegal access, falsification and information leaks.
    • evaluation_facility: Mizuho Information & Research Institute, Inc. Center for Evaluation of Information Security
    • product: MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System
    • product_type: IT Product (Operating System)
    • toe_version: V4.0
    • vendor: MIRACLE LINUX CORPORATION
  • expiration_date: 01.10.2013
  • supplier: MIRACLE LINUX CORPORA TION
  • toe_japan_link: https://www.ipa.go.jp/en/security/jisec/software/certified-cert/c0076_it6093.html
  • toe_japan_name: MIRACLE LINUX V4.0 / MIRACLE LINUX V4.0 One / MIRACLE LINUX V4.0 x86-64 / MIRACLE LINUX V4.0 x86-64 One Operating System V4.0
  • toe_overseas_link: None
  • toe_overseas_name: -----
  • category: ICs, Smart Cards and Smart Card-Related Devices and Systems
  • certification_date: 22.11.2016
  • developer: Feitian Technologies Co., Ltd.
  • enhanced:
    • category: ICs, Smart Cards and Smart Card-Related Devices and Systems
    • cert_id: SERTIT-091
    • certification_date: 22.11.2016
    • description: FT-JCOS V1.0 is a Java Card Platform compliant with Java Card Specification v.2.2.2 and GlobalPlatform Specification v.2.1.1. It allows post-issuance downloading of applications that have been previously verified by an off-card trusted IT component. It constitutes a secure generic platform that supports multi-application runtime environment and provides facilities for secure loading and interoperability between different applications. Typical applications of FT-JCOS V1.0 are financial applications, transport ticketing, telephony, personal identification, electronic passports, secure information storage, loyalty programs and so on.
    • developer: Feitian Technologies Co., Ltd.
    • documents: frozendict({'cert': [frozendict({'href': 'https://sertit.no/getfile.php/135115-1607952953/SERTIT/Sertifikater/2016/91/20161122%20SERTIT-091%20C.pdf'})], 'target': [frozendict({'href': 'https://sertit.no/getfile.php/135118-1607952955/SERTIT/Sertifikater/2016/91/%5B08250%5D%5BFTJCOS%5D%5BST%5D%5BV1.0.12%5DFTJCOS_Security_Target.pdf'})], 'report': [frozendict({'href': 'https://sertit.no/getfile.php/135121-1607952961/SERTIT/Sertifikater/2016/91/SERTIT-091CR%20Feitian%20v1.0.pdf'})]})
    • evaluation_facility: Brightsight B.V.
    • level: EAL 5, ALC_DVS.2, AVA_VAN.5
    • mutual_recognition: CCRA, SOG-IS
    • product: Hardware M7892 B11; Software FT-JCOS v1.0 0.106.13; Document FT-JCOS v1.0/0.106.13 Administrator Manual 1.0.5, FT-JCOS v1.0/0.106.13 User Manual 1.0.4
    • protection_profile: Java Card™ System Protection Profile Open Configuration, Version 3.0
  • product: Feitian FT-JCOS
  • url: https://sertit.no/certified-products/product-archive/feitian-ft-jcos
heuristics/st_references/directly_referencing {} BSI-DSZ-CC-0782-2012
heuristics/st_references/indirectly_referencing {} BSI-DSZ-CC-0782-2012, BSI-DSZ-CC-0758-2012
heuristics/protection_profiles {} 9399bd94f9925b16
protection_profile_links {} https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/ANSSI-CC-profil_PP-2010-03en.pdf
pdf_data/report_filename c0076_ecvr.pdf SERTIT-091CR Feitian v1.0.pdf
pdf_data/report_keywords/cc_cert_id
  • JP:
    • Certification No. C0076: 1
  • NO:
    • SERTIT-091: 22
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL1: 1
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 5+: 23
    • EAL1: 1
    • EAL5: 1
    • EAL7: 1
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_COMP.1: 1
    • ADV_FSP.5: 1
    • ADV_IMP.1: 1
    • ADV_INT.2: 1
    • ADV_TDS.4: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.5: 1
    • ALC_COMP.1: 1
    • ALC_DEL.1: 1
    • ALC_DVS.2: 4
    • ALC_FLR: 1
    • ALC_LCD.1: 1
    • ALC_TAT.2: 1
  • ASE:
    • ASE_CCL.1: 1
    • ASE_COMP.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.2: 1
    • ASE_REQ.2: 1
    • ASE_SPD.1: 1
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COMP.1: 1
    • ATE_COV.2: 1
    • ATE_DPT.3: 1
    • ATE_FUN.1: 1
    • ATE_IND: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_COMP.1: 1
    • AVA_VAN.5: 3
pdf_data/report_keywords/cc_sfr
  • FAU:
    • FAU_ARP.1: 1
  • FCO:
    • FCO_NRO: 1
  • FCS:
    • FCS_CKM.1: 1
    • FCS_CKM.2: 1
    • FCS_CKM.3: 1
    • FCS_CKM.4: 1
    • FCS_COP.1: 1
    • FCS_RNG.1: 4
  • FDP:
    • FDP_ACC: 3
    • FDP_ACF: 3
    • FDP_IFC: 2
    • FDP_IFF: 2
    • FDP_ITC: 1
    • FDP_RIP: 8
    • FDP_ROL: 1
    • FDP_SDI.2: 1
    • FDP_UIT: 1
  • FIA:
    • FIA_UID: 3
    • FIA_USB: 1
  • FMT:
    • FMT_MSA: 11
    • FMT_MTD: 2
    • FMT_SMF: 3
    • FMT_SMF.1: 1
    • FMT_SMR: 4
    • FMT_SMR.1: 1
  • FPR:
    • FPR_UNO.1: 1
  • FPT:
    • FPT_FLS: 3
    • FPT_FLS.1: 1
    • FPT_RCV: 3
    • FPT_TDC.1: 1
  • FTP:
    • FTP_ITC: 1
pdf_data/report_keywords/vendor
  • Feitian:
    • Feitian: 2
    • Feitian Technologies Co: 2
  • Infineon:
    • Infineon: 2
pdf_data/report_keywords/eval_facility
  • BrightSight:
    • Brightsight: 1
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
  • DES:
    • DES:
      • DES: 1
pdf_data/report_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 1
pdf_data/report_keywords/side_channel_analysis
  • other:
    • JIL: 2
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
    • CCMB-2012-09-004: 1
  • ISO:
    • ISO/IEC 14443: 2
    • ISO/IEC 15408: 4
    • ISO/IEC 7816: 2
  • SCP:
    • SCP02: 1
pdf_data/report_keywords/javacard_version
  • GlobalPlatform:
    • GlobalPlatform 2.1.1: 2
  • JavaCard:
    • Java Card 2.2.2: 5
pdf_data/report_metadata
  • /CreationDate: D:20070126115647+09'00'
  • /ModDate: D:20070126115647+09'00'
  • /Producer: Acrobat Distiller 6.0 (Windows)
  • /Title: untitled
  • pdf_file_size_bytes: 12684
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /Author: Rage, Arne Høye
  • /CreationDate: D:20161122114425Z00'00'
  • /Creator: Microsoft® Word 2010
  • /ModDate: D:20161122114425Z00'00'
  • /Producer: Mac OS X 10.12.1 Quartz PDFContext
  • pdf_file_size_bytes: 752545
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 23
pdf_data/st_filename [08250][FTJCOS][ST][V1.0.12]FTJCOS_Security_Target.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-0782-: 1
    • BSI-DSZ-CC-0782-2012: 1
    • BSI-DSZ-CC-0782-2012-MA-01: 1
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0084: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL 5: 2
    • EAL 5 augmented: 1
    • EAL5: 6
    • EAL5 augmented: 1
    • EAL5+: 1
    • EAL6: 1
    • EAL6 augmented: 1
    • EAL6+: 1
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 6
    • ADV_FSP.1: 4
    • ADV_FSP.2: 2
    • ADV_FSP.4: 2
    • ADV_FSP.5: 7
    • ADV_IMP.1: 9
    • ADV_INT.2: 1
    • ADV_TDS.1: 2
    • ADV_TDS.2: 1
    • ADV_TDS.3: 10
    • ADV_TDS.4: 1
  • AGD:
    • AGD_OPE.1: 10
    • AGD_PRE.1: 6
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.1: 1
    • ALC_CMS.4: 1
    • ALC_CMS.5: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 2
    • ALC_DVS.2: 7
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
    • ALC_TAT.2: 2
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 4
    • ASE_INT.1: 5
    • ASE_OBJ.2: 3
    • ASE_REQ.1: 2
    • ASE_REQ.2: 2
    • ASE_SPD.1: 2
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV.1: 2
    • ATE_COV.2: 3
    • ATE_DPT.1: 2
    • ATE_FUN.1: 6
  • AVA:
    • AVA_VAN.5: 7
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_ARP.1: 24
    • FAU_ARP.1.1: 2
    • FAU_SAA.1: 3
  • FCO:
    • FCO_NRO: 6
    • FCO_NRO.2: 5
  • FCS:
    • FCS_CKM: 3
    • FCS_CKM.1: 10
    • FCS_CKM.2: 8
    • FCS_CKM.2.1: 1
    • FCS_CKM.3: 6
    • FCS_CKM.3.1: 1
    • FCS_CKM.4: 8
    • FCS_CKM.4.1: 1
    • FCS_COP: 13
    • FCS_COP.1: 25
    • FCS_RNG: 6
    • FCS_RNG.1: 12
    • FCS_RNG.1.1: 2
    • FCS_RNG.1.2: 2
  • FDP:
    • FDP_ACC: 29
    • FDP_ACC.1: 13
    • FDP_ACC.2: 5
    • FDP_ACF: 31
    • FDP_ACF.1: 18
    • FDP_IFC: 22
    • FDP_IFC.1: 13
    • FDP_IFC.2: 2
    • FDP_IFF: 18
    • FDP_IFF.1: 17
    • FDP_ITC: 10
    • FDP_ITC.2: 9
    • FDP_ITT.1: 1
    • FDP_RIP: 117
    • FDP_RIP.1: 10
    • FDP_ROL: 15
    • FDP_ROL.1: 4
    • FDP_SDI.1: 1
    • FDP_SDI.2: 13
    • FDP_SDI.2.1: 1
    • FDP_SDI.2.2: 1
    • FDP_UIT: 5
    • FDP_UIT.1: 2
  • FIA:
    • FIA_ATD: 8
    • FIA_ATD.1: 2
    • FIA_UID: 19
    • FIA_UID.1: 11
    • FIA_UID.2: 1
    • FIA_USB: 6
    • FIA_USB.1: 3
  • FMT:
    • FMT_MSA: 105
    • FMT_MSA.1: 9
    • FMT_MSA.2: 2
    • FMT_MSA.3: 19
    • FMT_MTD: 20
    • FMT_MTD.1: 2
    • FMT_MTD.3: 1
    • FMT_SMF: 29
    • FMT_SMF.1: 20
    • FMT_SMF.1.1: 1
    • FMT_SMR: 43
    • FMT_SMR.1: 28
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPR:
    • FPR_UNO.1: 13
    • FPR_UNO.1.1: 2
  • FPT:
    • FPT_FLS: 31
    • FPT_FLS.1: 16
    • FPT_FLS.1.1: 2
    • FPT_ITT.1: 1
    • FPT_PHP.3: 1
    • FPT_RCV: 23
    • FPT_RCV.3: 13
    • FPT_RCV.4: 2
    • FPT_TDC.1: 8
    • FPT_TDC.1.1: 1
    • FPT_TDC.1.2: 2
    • FPT_TST.1: 1
  • FRU:
    • FRU_FLT.2: 1
  • FTP:
    • FTP_ITC: 6
    • FTP_ITC.1: 4
    • FTP_TRP.1: 2
pdf_data/st_keywords/cc_claims
  • A:
    • A.APPLET: 6
    • A.DELETION: 1
    • A.VERIFICATION: 6
  • D:
    • D.API_DATA: 3
    • D.APP_CODE: 7
    • D.APP_C_DATA: 3
    • D.APP_I_DATA: 5
    • D.CM_APDU: 1
    • D.CRYPTO: 6
    • D.JCS_CODE: 3
    • D.JCS_DATA: 5
    • D.JCS_KEYS: 3
    • D.PIN: 6
    • D.SEC_ATTRIBUTES: 2
    • D.SEC_DATA: 8
  • O:
    • O.ALARM: 22
    • O.APPLET: 19
    • O.CARD-: 7
    • O.CARD-MANAGEMENT: 32
    • O.CIPHER: 16
    • O.CODE_PKG: 16
    • O.COMMUNICATION: 11
    • O.DELETION: 15
    • O.FIREWALL: 43
    • O.GLOBAL: 2
    • O.GLOBAL_ARRAYS_CONFID: 18
    • O.GLOBAL_ARRAYS_INTEG: 9
    • O.IC_SUPPORT: 17
    • O.INSTALL: 16
    • O.JAVAOBJECT: 38
    • O.KEY-: 3
    • O.KEY-MNGT: 23
    • O.LOAD: 17
    • O.NATIVE: 14
    • O.OBJ-DELETION: 8
    • O.OPERATE: 35
    • O.OS: 1
    • O.OS_SUPPORT: 23
    • O.PACKAGE: 2
    • O.PIN-: 1
    • O.PIN-MNGT: 22
    • O.REALLOCATION: 17
    • O.RECOVERY: 23
    • O.REMOTE: 1
    • O.RESOURCES: 23
    • O.RND: 14
    • O.SID: 32
    • O.TRANSACTION: 19
  • OE:
    • OE.APPLET: 9
    • OE.CARD-MANAGEMENT: 2
    • OE.CODE-: 5
    • OE.CODE-EVIDENCE: 16
    • OE.SCP: 6
    • OE.VERIFICATION: 37
  • OP:
    • OP.ARRAY_ACCESS: 4
    • OP.CREATE: 7
    • OP.DELETE_APPLET: 4
    • OP.DELETE_PCKG: 3
    • OP.DELETE_PCKG_APPLET: 3
    • OP.GP: 3
    • OP.INSTANCE_FIELD: 4
    • OP.INVK_INTERFACE: 7
    • OP.INVK_VIRTUAL: 6
    • OP.JAVA: 5
    • OP.LOAD_PCKG: 1
    • OP.PUT: 6
    • OP.THROW: 5
    • OP.TYPE_ACCESS: 5
  • OSP:
    • OSP.VERIFICATION: 6
  • R:
    • R.JAVA: 9
  • T:
    • T.COMMUNICATION: 5
    • T.CONFID-: 2
    • T.CONFID-APPLI-: 2
    • T.CONFID-APPLI-DATA: 17
    • T.CONFID-JCS-CODE: 7
    • T.CONFID-JCS-DATA: 9
    • T.DELETION: 5
    • T.EXE-: 1
    • T.EXE-CODE: 8
    • T.FAULT: 5
    • T.INSTALL: 6
    • T.INTEG-: 6
    • T.INTEG-APPLI-: 4
    • T.INTEG-APPLI-CODE: 12
    • T.INTEG-APPLI-DATA: 18
    • T.INTEG-JCS-: 1
    • T.INTEG-JCS-CODE: 7
    • T.INTEG-JCS-DATA: 12
    • T.LEAKAGE: 5
    • T.NATIVE: 6
    • T.OBJ-DELETION: 4
    • T.PHYSICAL: 8
    • T.RESOURCES: 9
    • T.RND: 5
    • T.SID: 19
pdf_data/st_keywords/vendor
  • Feitian:
    • Feitian: 1
    • Feitian Technologies Co: 105
  • Infineon:
    • Infineon: 10
    • Infineon Technologies AG: 1
pdf_data/st_keywords/eval_facility
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 9
  • DES:
    • 3DES:
      • TDEA: 1
      • TDES: 7
      • Triple-DES: 1
    • DES:
      • DES: 6
  • constructions:
    • MAC:
      • CMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 8
    • ECDH:
      • ECDH: 2
    • ECDSA:
      • ECDSA: 3
  • FF:
    • DH:
      • Diffie-Hellman: 1
  • RSA:
    • RSA2048: 1
pdf_data/st_keywords/pq_crypto
pdf_data/st_keywords/hash_function
  • MD:
    • MD5:
      • MD5: 1
  • SHA:
    • SHA1:
      • SHA-1: 1
    • SHA2:
      • SHA-2: 2
      • SHA-224: 1
      • SHA-256: 1
      • SHA-384: 1
      • SHA-512: 1
pdf_data/st_keywords/crypto_scheme
  • KA:
    • Key Agreement: 1
  • KEX:
    • Key exchange: 1
  • MAC:
    • MAC: 2
pdf_data/st_keywords/crypto_protocol
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 20
    • RNG: 10
  • TRNG:
    • TRNG: 3
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • CCM:
    • CCM: 1
pdf_data/st_keywords/ecc_curve
pdf_data/st_keywords/crypto_engine
pdf_data/st_keywords/tls_cipher_suite
pdf_data/st_keywords/crypto_library
  • Infineon:
    • v1.02.013: 3
pdf_data/st_keywords/vulnerability
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • Malfunction: 3
    • malfunction: 4
    • physical tampering: 1
  • SCA:
    • DPA: 3
    • Leak-Inherent: 2
    • SPA: 1
    • physical probing: 3
    • timing attacks: 1
pdf_data/st_keywords/technical_report_id
pdf_data/st_keywords/device_model
pdf_data/st_keywords/tee_name
pdf_data/st_keywords/os_name
pdf_data/st_keywords/cplc_data
pdf_data/st_keywords/ic_data_group
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS20: 2
    • AIS36: 2
  • FIPS:
    • FIPS 186-3: 3
    • FIPS PUB 140-2: 1
    • FIPS PUB 180-4: 1
    • FIPS PUB 197: 1
    • FIPS140: 2
    • FIPS180-4: 2
    • FIPS197: 5
  • ICAO:
    • ICAO: 3
  • RFC:
    • RFC 5639: 3
  • SCP:
    • SCP02: 5
    • SCP03: 4
pdf_data/st_keywords/javacard_version
  • GlobalPlatform:
    • GlobalPlatform 2.1.1: 1
  • JavaCard:
    • Java Card 2.2.2: 3
pdf_data/st_keywords/javacard_api_const
  • misc:
    • TYPE_ACCESS: 5
pdf_data/st_keywords/javacard_packages
  • javacard:
    • javacard.security: 3
  • javacardx:
    • javacardx.crypto: 2
    • javacardx.security: 1
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • Software development environment. Phase 2 covers the Secure IC Development of Infineon and is out of scope of the TOE evaluation as that is part of the IC platform evaluation. In Phase 3, the Chip: 1
    • a timeout policy that prevent them from being blocked should a card fails to answer. That point is out of scope of this Protection Profile, though. Finally, the objectives O.RECOVERY and O.OS_SUPPORT are: 1
    • out of scope: 2
pdf_data/st_metadata
  • /CreationDate: D:20160409153415+08'00'
  • /Creator: LaTeX with hyperref package
  • /Producer: MiKTeX-xdvipdfmx (0.7.8)
  • pdf_file_size_bytes: 1236898
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 100
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/convert_ok False True
state/st/download_ok False True
state/st/extract_ok False True
state/st/pdf_hash Different Different
state/st/txt_hash Different Different