This work is supported by the National Basic Research Program of China (2010CB328101); the National Natural Science Foundation of China (Grant Nos. 61170078 and 61173042); the Doctoral Program of Higher Education of the Specialized Research Fund of China (20113718110004); Basic Research Program of Qingdao City of China (13- 1-4-116-jch); and the SDUST Research Fund of China (2011KYTD 102).
Logic Petri nets (LPNs) are suitable to describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. To investigate the dynamic properties of LPNs directly, a new method fo...
Supported by the National Natural Science Foundation of China(61271316);National Key Basic Research Program of China(973 Program)(2010CB731403);Opening Project of State Key Laboratory for Manufacturing Systems Engineering of Xi’an Jiaotong University(sklms2012005)
This paper presents a dynamic probabilistic marking algorithm with multiple routing address tags, which allows the vic- tim to traceback the origin of ICMP (Internet Control Message Pro- tocol)-based direct and refl...
the National Natural Science Foundation of China(Nos.61071152 and 61271316);the National Basic Research Program (973) of China(Nos.2010CB731406 and 2013CB329605);the National "Twelfth Five-Year" Plan for Science&Technology Support(No.2012BAH38B04)
Active tamper detection using watermarking technique can localize the tampered area and recover the lost information. In this paper, we propose an approach that the watermark is robust to legitimate lossy compression,...
supported by National Basic Research Program of China (973 Program) (No. 2007CB310800);China Postdoctoral Science Foundation (No. 20090460107 and No. 201003794)
With the development of Internet technology and human computing, the computing environment has changed dramatically over the last three decades. Cloud computing emerges as a paradigm of Internet computing in which dyn...