Changjun JIANG


Behavioral Equivalence of Security-Oriented Interactive Systems
Guanjun LIU Changjun JIANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Vol. E99-D  No. 8  pp. 2061-2068
Type of Manuscript:  Special Section PAPER (Special Section on Security, Privacy and Anonymity of Internet of Things)
Category: 
Keyword: 
interactive systemslabelled petri netslabelled transition systemsbisimulationsecurity
 Summary | Full Text:PDF(563.6KB)