Trustworthy Global Computing
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Page
%P
-
Chapter and Conference Paper
Designing Exception Handling Using Event-B
The design of exception handling is a complex task requiring insight and domain expertise to ensure that potential abnormal conditions are identified and a recovery process is designed to return the system to ...
-
Chapter and Conference Paper
Verifying System-Level Security of a Smart Ballot Box
Event-B, a refinement-based formal modelling language, has traditionally focused on safety, but now increasingly finds a new role in develo** secure systems. In this paper we take a fresh look at security an...
-
Chapter
Healthcare Data Management by Using Blockchain Technology
Electronic healthcare solutions permit interconnecting hospitals and clinics to enable sharing of electronic medical records according to interoperability and legal standards. However, healthcare record data i...
-
Chapter and Conference Paper
Towards Adaptive Access Control
Access control systems are nowadays the first line of defence of modern IT systems. However, their effectiveness is often compromised by policy miscofigurations that can be exploited by insider threats. In thi...
-
Chapter and Conference Paper
Obscuring Provenance Confidential Information via Graph Transformation
Provenance is a record that describes the people, institutions, entities, and activities involved in producing, influencing, or delivering a piece of data or a thing. In particular, the provenance of informati...
-
Chapter and Conference Paper
Descriptive Types for Linked Data Resources
This work introduces the notion of descriptive ty**. Type systems are typically prescriptive in the sense that they prescribe a space of permitted programs. In contrast, descriptive types assigned to resourc...
-
Chapter and Conference Paper
An HMM-Based Reputation Model
In modern global networks, principals usually have incomplete information about each other. Therefore trust and reputation frameworks have been recently adopted to maximise the security level by basing decisio...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Mathematical Foundations of Computer Science 2012
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
-
Chapter and Conference Paper
Operational Semantics for SPARQL Update
Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language pro...
-
Chapter and Conference Paper
A Game-Theoretic Analysis of Cooperation in Anonymity Networks
Anonymity systems are of paramount and growing importance in communication networks. They rely on users to cooperate to the realisation of an effective anonymity service. Yet, existing systems are marred by th...
-
Chapter and Conference Paper
Minimising Anonymity Loss in Anonymity Networks under DoS Attacks
Anonymity is a security property of paramount importance as it helps to protect users’ privacy by ensuring that their identity remains unknown. Anonymity protocols generally suffer from denial of service (DoS)...
-
Book and Conference Proceedings
Theoretical Computer Science
6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
-
Chapter and Conference Paper
HMM-Based Trust Model
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either assume fixed behaviour for the...
-
Chapter and Conference Paper
Probable Innocence in the Presence of Independent Knowledge
We analyse the Crowds anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Under such conditions we study, reformulate and extend ...
-
Chapter and Conference Paper
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols
The existing analysis of the Crowds anonymity protocol assumes that a participating member is either ’honest’ or ’corrupted.’ This paper generalises this analysis so that each member is assumed to maliciously ...
-
Chapter and Conference Paper
Trust in Anonymity Networks
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusiness and eLeisure, as well as...
-
Chapter
Models of Computation: A Tribute to Ugo Montanari’s Vision
Ugo’s research activity in the area ofModels of Computation (MoC, for short) has been prominent, influential and broadly scoped. Ugo’s trademark is that undefinable ability to understand and distill computatio...
-
Chapter and Conference Paper
Structural Operational Semantics for Stochastic Process Calculi
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimila...
-
Chapter and Conference Paper
Towards a Formal Framework for Computational Trust
We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main...
