Formalizing Active Networks Security with Seal-Calculus. - Xiaojuan Zheng; Tao Xu; Ying Jin 002 (ISPA, 2003)

Information Flow Security for Interactive Systems. - Ying Jin 002; Lei Liu 040; Xiaojuan Zheng (EUC, 2005)

Operational semantics of ambient calculus. - Jing Zhang 005; Ying Jin 002; Degui Guo; Lei Liu 040; Chengzhi Jin (SOSE, 2005)

Formal Verification of Protocol Properties of Sequential Java Programs. - Ying Jin 002 (COMPSAC (1), 2007)

Automatic Generation and Enforcement of Security Contract for Pervasive Application. - Ying Jin 002; Zepeng Li; Da Wei; Lei Liu 040 (EUC (2), 2008)

Applying PageRank Algorithm in Requirement Concern Impact Analysis. - Ying Jin 002; Jing Zhang 005; Pengfei Ma; Weiping Hao; Shutong Luo; Zepeng Li (COMPSAC (1), 2009)

Concern Based Approach to Generating SCR Requirement Specification: A Case Study. - Ying Jin 002; Jing Zhang 005; Weiping Hao; Pengfei Ma (CSIE (7), 2009)

A concern-based approach to generating formal requirements specifications. - Ying Jin 002; Jing Zhang 005; Weiping Hao; Pengfei Ma; Yan Zhang; Haiyan Zhao 001; Hong Mei 001 (Frontiers Comput. Sci. China, 2010)

Defining the meaning of tabular mathematical expressions. - Ying Jin 002; David Lorge Parnas (Sci. Comput. Program., 2010)