honest-but-curious, semi-honest, and malicious model

• Honest-but-Curious (HBC) ${}^{[1]}$
  The honest-but-curious (HBC) adversary is a legitimate participant in a communication protocol who will not deviate from the defined protocol but will attempt to learn all possible information from legitimately received messages.
  

• Semi-Honest ${}^{[2]}$
  Loosely speaking, a semi-honest party is one who follows the protocol properly with the exception that $\text{it keeps a record of all its intermediate computations}$.

• Malicious${}^{[2]}$
  There is no way to force parties to participate in the protocol. This is, a possible malicious behavior may consist of not starting the execution at all , or more generally, suspending (or aborting) the execution at any desired point in time. A part can abort at the first moment when it obtains the desired result of the computed functionality.

[1] 2014 Modelling and Automatically Analysing Privacy Properties for Honest-but-Curious Adversaries (Technical Report)
[2] Foundations of Cryptography Volume 2: Basic Applications (7.2.2 和 7.2.3)