87 results about "Verification routine" patented technology

Methods, systems, and computer program products are disclosed for sharing data related to a session created by a user within a domain of sites or services. A user logs on to a site, such as a Web site or other entity, and creates a session. The session created has an identifier which can be shared with other sites or entities in the same domain or logical group. In the course of utilizing services on the site, the user attempts access to services on another site. When this attempt is made, the user's session data is passed to the second site. The session data is analyzed on the second site by checking configuration data on the second site. If it is not found to be valid (e.g. it is created by a site outside the domain of the second site), the user is required to explicilty logon. If the configuration data indicates that it is valid, the session data is passed back to the first site using a verification routine (part of the configuration data) on the second site. If the first site authenticates the session data, the user is allowed to access services on the second site without having to explicitly logon.

A motion-based authentication method of authenticating a user with a mobile device is provided. A pre-training routine is conducted to detect an orientation characteristic and a duration characteristic associated with a user input. A training routine is conducted to capture a set of base signatures and to compute the consistency level associated with the signatures. A verification routine is conducted to compare the target signature with the set of base signatures. Authorization is granted if the target signature has reached the similarity threshold with respect to the base signatures.

To aim provide a software update apparatus including an install module group (130) composed of a plurality of install modules. Each of the install modules has a function of receiving, from an external server (200), a replacement protection control module (121) to be used for updating a protection control module (120) having a function of verifying whether a predetermined application has been tampered with. Each of the install modules simultaneously running is verified by at least another one of the install modules simultaneously running, as to whether the install module has a possibility of performing malicious operations.

A verifiable post-quantum electronic voting system and an implementation method includes an authentication center, a user end, a verification server, a vote counting server, a verification program, and a bulletin board. The authentication center verifies the identity of a user, generates an identity ID for each valid user, and signs it; the user end proves its identity to the authentication center, receives an identity ID signature, encrypts a ballot, and sends a ballot ciphertext and the identity ID signature to the verification server; and the verification server, which comprises two servers, completes the verification of the validity of the ballot and homomorphic vote counting. The vote counting server decrypts partially homomorphic vote counting ciphertext and issues it on the bulletin board, and the verification program verifies whether the vote counting server has correctly counted the ballots.

The invention relates to application of a network authorization technology, in particular to a JWT-based authorization method capable of being manually revoked, which is an efficient, recyclable and instantly-updated authorization mechanism based on an access token. The method comprises a program used for providing login certificate verification and a server access token verification process; theprogram for providing the login certificate verification comprises the following steps: 1a, querying user information according to the login certificate; 2a, judging whether the user information can be obtained or not, and generating token ID assembly token data if the user information can be obtained; 3a, performing digital signature on the token data in the 2a; 4a, storing the token informationin a persistent database, and creating an access token record; 5a, setting the token to an X-Access-Token response header, and ending the authentication; 6a, judging whether the user information can be obtained or not in the 2a, and if the user information cannot be obtained, directly ending the authentication.

The invention relates to a hotspot sharing method based on artificial intelligence and feature analysis and a big data cloud platform, and aims to identify an access intrusion detection result of a target terminal before the target terminal is accessed to a hotspot network corresponding to a current hotspot sharing terminal, thereby ensuring information security relative to the current hotspot sharing terminal. In this way, the target terminal can pass the access verification before using the hotspot network corresponding to the current hotspot sharing terminal. The access intrusion detectionresult is determined based on the information security evaluation characteristics, and the access intrusion detection result can be identified for different information communication networks where different hotspot sharing requests are located, so that access verification can be accurately and reliably realized. Moreover, the access verification is carried out on the big data cloud platform side,so that a corresponding verification program does not need to be deployed in the current hotspot sharing terminal, and the operation rate of the current hotspot sharing terminal can be prevented frombeing severely slowed down.

The invention discloses a trusted environment remote verification method, device, equipment, system and medium, relates to the technical field of block chains, and can be used for cloud computing or cloud service. The method comprises steps: in response to a remote verification request of a verification demander, performing local verification on a target enclave through a verification program of averification party; signing a local verification result through a first secret key of a verification program, and feeding back to the verification demander, so that the verification demander executesthe following operations: verifying the signed local verification result according to a second secret key associated with the first secret key, and determining a remote verification result of the target enclave according to a signature verification result. The invention provides a novel trusted environment remote verification method, and the universality of remote verification is improved.

The embodiment of the invention provides a system-on-chip (SOC) simulation verification method and device, a verification server and a storage medium, the method is applied to the verification server, an operating system is installed in the verification server, and the method comprises the following steps: loading a driver of a whole module of SOC equipment in simulation verification equipment, establishing a verification environment through the driving of the whole module of the SOC equipment; and when at least one verification instruction for the SOC module is received, running a verification program corresponding to the verification instruction, so as to complete the operation of the SOC module in the simulation verification equipment through the driving of the whole module of the SOC equipment to verify the SOC module. According to the technical scheme provided by the embodiment of the invention, the verification efficiency can be improved, the verification program loading time can be shortened, multi-user parallel verification can be supported, and system-level combined verification can be supported.

In a method for verifying the integrity of first to Nth binaries (N is a natural number greater than or equal to 2), the method may comprise: loading the first to Nth binaries into a main memory in order to execute the binaries; verifying a self hash to verify, by the Kth binary (K=1, . . . , N-1) which has been loaded into the main memory, the integrity thereof by using a hash; and verifying a link hash by setting any one of the first to Kth binaries as a verification binary and setting a (K+1)th binary to be loaded into the main memory as a binary to be verified so that the verification binary verifies the integrity of the binary to be verified by using a hash.

Disclosed is a method of verifying a recipe execution program. When a computer executes a recipe execution program, the computer sends instructions, which are issued based on a process recipe data defining specific operations to be performed by a substrate processing apparatus, to the substrate processing apparatus. When a computer executes a log output program, the computer outputs a log data indicating the instructions sent to the substrate processing apparatus. When a computer executes a comparing and checking program, the computer compares the log data which the process recipe data corresponding to the log data.

The invention relates to a method for preventing repeated login based on Redis cache, and the method comprises the following steps: taking a user ID of user information as a key of Redis, taking a token of user login information as a value, namely a key value after business processing, caching the token in the Redis, setting failure time, and only retaining the user login information of the last login when the same user logs in for multiple times; when a user accesses the same website on a plurality of devices or opens a plurality of windows on the same device to access different websites or the same website and runs a verification program, judging whether the user is in a legal login state or not by verifying whether current user login information is consistent with user login information in a cache or not; and preventing the repeated login.

A method and a system for verifying properties of a computer program is provided, pertaining to the validity of properties at program points by means of at least one forward analyser and one backward analyser. For each property, in an issuing phase an analyser issues to a centralizer module an assumption on the validity of the property at a point of the program, the centralizer module storing the assumption in a database with an attribute indicating the original analyser and a status indicating that the assumption needs to be verified; in a phase of verifying the assumption, stored in the database, a test analyser is selected to analyse the assumption in cooperation with the other analysers, the centralizer module determining analysers able to cooperate. The verification phase is iterated until all assumptions stored in the base have been analysed by at least one test analyser, a verified assumption being marked as valid.

The invention provides a system and a method for accelerating MMU mapping table deployment. The system comprises an MMU mapping table generation device and a verification program packaging device which run on a verification program compiling server, and an MMU mapping table deployment device which runs on a target SOC; the MMU mapping table generation device is used for reading, analyzing and legality checking an MMU mapping table configuration file, and generating an MMU mapping table adaptive to the target SOC according to the MMU mapping table configuration file; the verification program packaging device analyzes an original verification program generated by compiling, obtains an MMU mapping table address specified by the verification program and maximum size information of an MMU mapping table, checks validity of the size of the MMU mapping table adapted to a target SOC, and combines and packages the generated MMU mapping table adapted to the SOC and the verification program into a new verification program containing the MMU mapping table; and the MMU mapping table deployment device analyzes the MMU mapping table adapted to the target SOC, and completes deployment of the MMU mapping table on the target SOC.

The invention provides a multi-platform Bootrom verification method, device, system and a computer readable medium. The method comprises the following steps of 1, receiving verification platform information input, 2, judging a starting mode of the Bootrom, 3, generating a corresponding one-time programmable ROM and a first mirror image file according to the starting mode, 4, compiling a simulationenvironment, and running a verification program, 5, generating a log file or counting the coverage rate according to the simulation environment, and 6, judging whether the coverage rate reaches a preset numerical value or not, if so, ending, and if not, returning to the step 2. According to the method, the corresponding verification files are automatically generated and verified according to different verification platforms and different starting modes, so that the multi-platform Bootrom automatic verification is realized, the multi-platform Bootrom verification process is simplified, and themulti-platform Bootrom verification efficiency is greatly improved.

The invention provides a program running process conformance verification method, which comprises two links of dynamic instrumentation and process verification. The method comprises the steps of receiving and analyzing an instruction input by a user, executing an instrumentation start-stop process and returning a process data log during dynamic instrumentation work; receiving the process data logduring the process verification, extracting the relationship between methods in the log to establish a process diagram model, and sequentially matching the process diagram model with the standard rule, thereby verifying the standard conformity of the program running process. According to the program running process verification method, the internal execution process information during program running is visually and quantitatively displayed through methods such as instrumentation point burying and data modeling, the program running process verification method is provided, and the blank of software running process conformity verification is filled up.

An on-vehicle communication system includes: a plurality of function units; and one or a plurality of switch devices, each switch device being configured to perform a relay process of relaying communication data between the function units. When unauthorized communication by a function unit has been detected, the switch device performs a validation process of validating a function unit other than an unauthorized-communication function unit that is the function unit for which the unauthorized communication has been detected.

The invention discloses an access control method and systemof Internet of Things, and user equipment. The user equipment comprises an instruction acquisition module, an access control module and a result receiving module. The system comprises a central server, a proxy server, a gateway, Internet of Things equipment and user equipment. Through cooperation of an identity-based encryption technology and the proxy server based on a message queue transmission protocol, a digital certificate of a first user is verified in advance when a first permission token chain is generated, and after verification is passed, the digital certificate is placed in the first permission token chain and signed. The method, the user equipment and the system not only avoid the generation of a large number of keys and the subsequent key management burden, but also enable a verification program for the digital certificate of a visitor and a signature verification program of the first permission token chain to be carried out together, thereby accelerating the response speed of access control on the premise of ensuring the legality of the access control.

The invention provides a vulnerability detection method and device, electronic equipment and a computer readable storage medium, and the method comprises the steps: determining a target port in an open state by scanning a plurality of ports of to-be-detected equipment; obtaining a corresponding target detection program from a plurality of pre-stored detection programs according to the port information of the target port, wherein the target detection program is a vulnerability concept verification POC program; and finally, running the target detection program to detect whether the to-be-detected equipment has system vulnerabilities or not. In the scheme, whether the equipment has the system vulnerability or not is detected by scanning the port and running the corresponding vulnerability concept verification program, so that the vulnerability condition on the system level can be successfully detected, and the phenomenon that the equipment is subsequently attacked due to the vulnerabilityon the system level is avoided.

The invention discloses a code verification method, networking terminal equipment and a readable storage medium. The code verification method comprises the steps of executing a code pre-verification program, specifically, reading a pre-stored code, signing the pre-stored code and comparing a signature with a signature stored in the pre-stored code; if the signature is consistent with the signature stored in the pre-stored code, executing a main program, otherwise, alarming and exiting; executing a code verification program; and if the signature is consistent with the signature stored in the pre-stored code, ending the verification, and otherwise, alarming and exiting. According to the technical scheme provided by the embodiment of the invention, the code is pre-verified before the main program is executed, the security of the code is firstly determined, meanwhile, the main program is started under the condition that pre-verification has no problem, and the verification program for the code is synchronously started in the running process of the main program, so that verification guard is performed in the running process of the program, codes are verified and protected through two-section type starting, the signature in the code verification process changes along with the change of time at the same time, and the cracking complexity is increased.

The invention relates to a SoC program execution display positioning method and device, computer equipment and a storage medium, and the method comprises the steps: carrying out the analysis of an Elffile through operating a script program, and obtaining a corresponding relation between a program source file and a pointer address; generating a corresponding symbol file and an address file according to the corresponding relationship between the program source file and the pointer address; loading the symbol file and the address file into an SoC verification environment; forming a character variable signal according to the character and address relationship of the symbol file and the address file, and displaying an address interval between the two characters by using a first character; whenthe verification program skips from one address interval to another address interval, dynamically displaying a skipping process through the character variable signal. According to the invention, therelationship between the pointer and the source file can be automatically matched and displayed on an interface such as a waveform in a manner such as a signal variable.