Jihong Han

Learn More
BACKGROUND Pitavastatin (NK-104) is a novel inhibitor of 3-hydroxy-3-methylglutaryl coenzyme A (HMG-CoA) reductase, the rate-limiting enzyme for cholesterol biosynthesis. In clinical trials, pitavastatin has been shown to significantly decrease serum LDL cholesterol and triglyceride levels and increase HDL cholesterol. Scavenger receptor-mediated(More)
The paper proposes the cryptographic protocol insecurity problem, gives an accurate formal specifications for cryptographic protocols, defines the security properties precisely and reasonably, presents some pivotal concepts and propositions in the deduction of the problem solving. The method has provable semantics which is reasonable and sound, and it is(More)
Many large-scale software systems have unprecedented complexity. The basic problem lies in how to construct a complex network topology models that can reflect the complexity of software systems. Based on studying the theory development and application status of complex networks, the complex network topology rules based on component of software system are(More)
In this paper, a new first-order logical framework and method of formalizing and verifying cryptographic protocols is presented. From the point of view of an intruder, the protocol and abilities of the intruder are modeled in Horn clauses. Based on deductive reasoning method, secrecy of cryptographic protocols is verified automatically, and if the secrecy(More)
  • 1