コード例 #1
0
ファイル: CST_Ops.cs プロジェクト: dwjsong/AuthPlatelet
        public static bool Certify(string SymT, string vPath)
        {
            List <MethodRecord> methodList = MethodHasher.getDehashedRecords(SymT);

            VProgramGenerator.generateVProgram(methodList, vPath);
            VProgramGenerator.EditCSproj(methodList, vPath);
            bool resultOfVerification = VProgramGenerator.verify(vPath);

            return(resultOfVerification);
        }
コード例 #2
0
ファイル: CST_Ops.cs プロジェクト: dwjsong/AuthPlatelet
        public static bool CertifyLocally(CST_MSG msg)
        {
            RemoveUntrustedSymTPart(msg);

            if (!SymTResultCache.ContainsKey(msg.SymT))
            {
                List <MethodRecord> mrList = MethodHasher.getDehashedRecords(methodSHADictKEYSHA, msg);

                VProgramGenerator.EditCSproj(mrList);
                VProgramGenerator.generateVProgram(mrList);

                bool resultOfVerification = VProgramGenerator.verify();
                SymTResultCache[msg.SymT] = resultOfVerification;
            }

            return(SymTResultCache[msg.SymT]);
        }