References of "Pang, Jun 50002807"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel-checking based approaches to parameter estimation of gene regulatory networks
Mizera, Andrzej UL; Pang, Jun UL; Yuan, Qixia UL

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (2014)

Detailed reference viewed: 117 (11 UL)
Full Text
Peer Reviewed
See detailMeasuring User Similarity with Trajectory Patterns: Principles and New Metrics
Chen, Xihui; Lu, Ruipeng; Ma, Xiaoxing et al

in Proceedings of the 16th Asia-Pacific Web Conference (2014)

Detailed reference viewed: 95 (2 UL)
Full Text
Peer Reviewed
See detailA new access control scheme for Facebook-style social networks
Pang, Jun UL; Zhang, Yang UL

in Proceedings of the 9th Conference on Availability, Reliability and Security (ARES 2014, Best Paper Award) (2014)

Detailed reference viewed: 118 (6 UL)
Full Text
Peer Reviewed
See detailConstructing and comparing user mobility profiles
Chen, Xihui; Pang, Jun UL; Xue, Ran

in ACM Transactions on the Web (2014), 8(4), 21

Detailed reference viewed: 93 (1 UL)
Full Text
Peer Reviewed
See detailA strand space approach to provable anonymity
Li, Yongjian; Pang, Jun UL

in Proc. 2nd Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13) (2014)

Detailed reference viewed: 107 (1 UL)
Full Text
Peer Reviewed
See detailDynamic analysis of usage control policies.
Elrahaiby, Yehia; Pang, Jun UL

in Proceedings of the 11th Conference on Security and Cryptography (SECRPT) (2014)

Detailed reference viewed: 89 (2 UL)
Full Text
Peer Reviewed
See detailModel Checking with Fairness Assumptions using PAT
Si, Yuanjie; Sun, Jun; Liu, Yang et al

in Frontiers of Computer Science (2014), 8(1), 1-16

Detailed reference viewed: 113 (5 UL)
Full Text
Peer Reviewed
See detailDEMO: Demonstrating a Trust Framework for Evaluating GNSS Signal Integrity
Chen, Xihui UL; Harpes, Carlo; Lenzini, Gabriele UL et al

in Proceedings of 20th ACM Conference on Computer and Communications Security (CCS'13) (2013, November)

Through real-life experiments, it has been proved that spoofing is a practical threat to applications using the free civil service provided by Global Navigation Satellite Systems (GNSS). In this paper, we ... [more ▼]

Through real-life experiments, it has been proved that spoofing is a practical threat to applications using the free civil service provided by Global Navigation Satellite Systems (GNSS). In this paper, we demonstrate a prototype that can verify the integrity of GNSS civil signals. By integrity we intuitively mean that civil signals originate from a GNSS satellite without having been artificially interfered with. Our prototype provides interfaces that can incorporate existing spoofing detection methods whose results are then combined into an overall evaluation of the signal’s integrity, which we call integrity level. Considering the various security requirements from different applications, integrity levels can be calculated in many ways determined by their users. We also present an application scenario that deploys our prototype and offers a public central service – localisation assurance certification. Through experiments, we successfully show that our prototype is not only effective but also efficient in practice. [less ▲]

Detailed reference viewed: 291 (13 UL)
Full Text
Peer Reviewed
See detailRecent development and biomedical applications of probabilistic Boolean networks
Trairatphisan, Panuwat UL; Mizera, Andrzej UL; Pang, Jun UL et al

in Cell Communication and Signaling (2013), 11(46),

Probabilistic Boolean network (PBN) modelling is a semi-quantitative approach widely used for the study of the topology and dynamic aspects of biological systems. The combined use of rule-based ... [more ▼]

Probabilistic Boolean network (PBN) modelling is a semi-quantitative approach widely used for the study of the topology and dynamic aspects of biological systems. The combined use of rule-based representation and probability makes PBN appealing for large-scale modelling of biological networks where degrees of uncertainty need to be considered. A considerable expansion of our knowledge in the field of theoretical research on PBN can be observed over the past few years, with a focus on network inference, network intervention and control. With respect to areas of applications, PBN is mainly used for the study of gene regulatory networks though with an increasing emergence in signal transduction, metabolic, and also physiological networks. At the same time, a number of computational tools, facilitating the modelling and analysis of PBNs, are continuously developed. A concise yet comprehensive review of the state-of-the-art on PBN modelling is offered in this article, including a comparative discussion on PBN versus similar models with respect to concepts and biomedical applications. Due to their many advantages, we consider PBN to stand as a suitable modelling framework for the description and analysis of complex biological systems, ranging from molecular to physiological levels. [less ▲]

Detailed reference viewed: 276 (32 UL)
Full Text
See detailEditorial message: Special track on software verification and testing
Pang, Jun UL; Mousavi, Mohammad Reza

in Proc. 28th Symposium on Applied Computing (2013)

Detailed reference viewed: 34 (7 UL)
Full Text
Peer Reviewed
See detailExploring dependency for query privacy protection in location-based services
Chen, Xihui UL; Pang, Jun UL

in Proc. 3rd ACM Conference on Data and Application Security and Privacy (2013)

Detailed reference viewed: 110 (7 UL)
Full Text
Peer Reviewed
See detailLocation Assurance and Privacy in GNSS Navigation
Chen, Xihui; Harpes, Carlo; Lenzini, Gabriele UL et al

in ERCIM News (2013), 2013(94),

The growing popularity of location-based services such as GNSS (Global Navigation Satellite System) navigation requires confidence in the reliability of the calculated locations. The exploration of a ... [more ▼]

The growing popularity of location-based services such as GNSS (Global Navigation Satellite System) navigation requires confidence in the reliability of the calculated locations. The exploration of a user’s location also gives rise to severe privacy concerns. Within an ESA (European Space Agency) funded project, we have developed a service that not only verifies the correctness of users’ locations but also enables users to control the accuracy of their revealed locations. [less ▲]

Detailed reference viewed: 89 (7 UL)
Full Text
Peer Reviewed
See detailA trust framework for evaluating GNSS signal integrity
Chen, Xihui UL; Lenzini, Gabriele UL; Martins, Miguel et al

in Proceedings of 26th IEEE Computer Security Foundations Symposium (CSF'13) (2013)

Detailed reference viewed: 279 (5 UL)
Full Text
Peer Reviewed
See detailPost-hoc analysis of user traceability in electronic toll collection systems
Chen, Xihui UL; Fonkwe, David; Pang, Jun UL

in Proc. 7th International Workshop on Data Privacy Management (2013)

Detailed reference viewed: 80 (6 UL)
Full Text
Peer Reviewed
See detailVerification of functional and non-functional requirements of web service composition
Chen, Manman; Tan, Tian Huat; Sun, Jun et al

in Proceedings of 15th Conference on Formal Engineering Methods (ICFEM'13) (2013)

Detailed reference viewed: 101 (0 UL)
Full Text
Peer Reviewed
See detailPrivacy and verifiability in voting systems: Methods, developments and trends
Jonker, Hugo UL; Mauw, Sjouke UL; Pang, Jun UL

in Computer Science Review (2013)

Detailed reference viewed: 140 (0 UL)
Full Text
Peer Reviewed
See detailDesign and formal verification of a certified email protocol with transparent TTP
Liu, Zhiyuan; Pang, Jun UL; Zhang, Chenyi UL

in Frontiers of Computer Science (2013), 7(2), 279-297

In certified email (CEM) protocols, trusted third party (TTP) transparency is an important security requirement which helps to avoid bad publicity as well as protecting individual users’ privacy ... [more ▼]

In certified email (CEM) protocols, trusted third party (TTP) transparency is an important security requirement which helps to avoid bad publicity as well as protecting individual users’ privacy. Cederquist et al. proposed an optimistic certified email protocol, which employs key chains to reduce the storage requirement of the TTP. We extend their protocol to satisfy the property of TTP transparency, using existing verifiably encrypted signature schemes. An implementation with the scheme based on bilinear pairing makes our extension one of the most efficient CEM protocols satisfying strong fairness, timeliness, and TTP transparency. We formally verify the security requirements of the extended protocol. The properties of fairness, timeliness and effectiveness are checked in the model checker Mocha, and TTP transparency is formalised and analysed using the toolsets mCRL and CADP [less ▲]

Detailed reference viewed: 104 (3 UL)
Full Text
Peer Reviewed
See detailDesign and formal analysis of a group signature based electronic toll pricing system
Chen, Xihui UL; Lenzini, Gabriele UL; Mauw, Sjouke UL et al

in Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (2013), 4(1), 55-75

Detailed reference viewed: 99 (13 UL)
Full Text
Peer Reviewed
See detailConstructing and comparing user mobility profiles for location-based services
Chen, Xihui UL; Pang, Jun UL; Xue, Ran

in Proc. 28th ACM Symposium on Applied Computing (2013)

Detailed reference viewed: 112 (4 UL)
Full Text
Peer Reviewed
See detailEnforcing Privacy in the Presence of Others: Notions, Formalisations and Relations
Dong, Naipeng UL; Jonker, Hugo UL; Pang, Jun UL

in Proceedings of the 18th European Symposium on Research in Computer Security (2013)

Detailed reference viewed: 78 (2 UL)