Skip to main content

1 Result(s)

within English Remove this filter Signal, Image and Speech Processing Remove this filter JieJie Xu Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Prolog-Based Formal Reasoning for Security Protocols

    This paper introduces a security reachability analysis model based on the strand space theory and the constraint elimination method. A prolog-based automatic reasoning scheme is then proposed. At last, the rea...

    Rongrong Jiang, Chuanbin Wang, Jiejie Xu… in Parallel and Distributed Computing and Net… (2011)