منابع مشابه
University of Newcastle upon Tyne
We investigate the synthesis problem for ENCL-systems, defined as Elementary Net Systems extended with context (inhibitor and activator) arcs and explicit event localities. Since co-located events are meant to be executed synchronously, the behaviour of such systems is captured by step transition systems, where arcs are labelled by sets of events rather than by single events. We completely char...
متن کاملUniversity of Newcastle upon Tyne
This report contains contributions to the first international workshop on Overture, a community project to develop open source interoperable tools for the formal modelling and analysis of computing systems, based on extensions to the Vienna Development Method (VDM and VDM++) modelling languages. The contributions address the industry-strength basic tools such as parsersas well as advanced capab...
متن کاملUniversity of Newcastle upon Tyne
The Automated Turing test (ATT) is almost a standard security technique for addressing the threat of undesirable or malicious bot programs. In this paper, we motivate an interesting adversary model, cyborgs, which are either humans assisted by bots or bots assisted by humans. Since there is always a human behind these bots, or a human can always be available on demand, ATT fails to differentiat...
متن کاملUniversity of Newcastle upon Tyne
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be dynamically adjusted to best operate within that environment. In this paper we are concerned with adapting the choice of cryptographic algorithms applied to client-server interactions. To that end, we design and imple...
متن کاملUniversity of Newcastle upon Tyne
The Pret a Voter election scheme allows voters to confirm that their vote is accurately counted whilst maintaining ballot secrecy. Initial analysis indicates that the scheme is highly trustworthy, due to the high degree of transparency and auditability. However, the assurance arguments are subtle and involve some understanding of the role of cryptography. As a result, there remain challenges re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1873
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(02)63233-7