Zhiguo Pang

Learn More
Specification and verification of access control (AC) policies is a significant and challenging problem. Colored Petri Net (CPN) is a powerful modeling and analyzing tool having the advantages of intuitive visual framework with the rigor and precision of a semantics founded on category theory. In this paper, a concrete specification of SA-RBAC policy on CPN(More)
The Mekong River is the most important river in Southeast Asia. It has increasingly suffered from water-related problems due to economic development, population growth and climate change in the surrounding areas. In this study, we built a distributed Geomorphology-Based Hydrological Model (GBHM) of the Mekong River using remote sensing data and other(More)
In recent years, the increased intensity and duration of droughts have dramatically altered the structure and function of grassland ecosystems, which have been forced to adapt to this change in climate. Combinations of global change drivers such as elevated atmospheric CO 2 concentration, warming, nitrogen (N) deposition, grazing, and land-use change have(More)
  • 1