Constructing and comparing user mobility profiles

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

Recent development and biomedical applications of probabilistic Boolean networks

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 ▲]

A balancing act: Parameter estimation for biological models with steady-state measurements

in Proceedings of 11th Conference on Computational Methods in Systems Biology (CMSB'13) (2013)

An inductive approach to strand spaces

in Formal Aspects of Computing (2013), 25(4), 465-501

A trust framework for evaluating GNSS signal integrity

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

Verification of functional and non-functional requirements of web service composition

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

Design and formal verification of a certified email protocol with transparent TTP

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 ▲]

Constructing and comparing user mobility profiles for location-based services

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

Message from ESSS 2013 Workshop Co-chairs

in 6th IEEE International Conference on Software Testing, Verification and Validation Workshops Proceedings (2013)

Mathematical modelling of the Platelet-Derived Growth Factor (PDGF) signalling pathway

in Proceedings of 4th Workshop on Computational Models for Cell Processes (CompMod'13) (2013)