Meihua Xiao

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
To precisely understand human gaze behaviors in three-party conversations, this work is dedicated to look into whether the speaker can be reliably identified from the interlocutors in a three-party conversation on the basis of the interactive behaviors of eye contact, where speech signals are not provided. Derived from a pre-recorded, multimodal, and(More)
—Model checking has been successfully applied to verify the security properties of network protocols. In this paper, we propose a formal modeling method using the PROMELA language based on simplified model of SET payment protocol proposed by Lu & Smolka, and use LTL to describe authentication property. Under the hypothesis of the network environment being(More)
  • 1