3,737 research outputs found
Colin Humphris
No full text"Colin Humphris 2 Sqdrn. RAAF. 1941 - 1942 Author of - 'Trapped on Timor' (as a result of bombing of Darwin Feb. 19, 1942)".Colin Humphris. 2 Squadron, Royal Australian Air Force 1941 - 1942. Author of - 'Trapped on Timor' (as a result of bombing of Darwin February 19, 1942)
C.: Counterfeiting attacks on block-wise dependent fragile watermarking schemes
No full textThis is the author’s version of a work that was submitted/accepted for pub-lication in the following source: Nyeem, Hussain, Boles, Wageeh, & Boyd, Colin (2013) Counterfeiting at-tacks on block-wise dependent fragile watermarking schemes. In Proceed
Errors in Computational Complexity Proofs for Protocols
No full textProofs are invaluable tools in assuring protocol implementers about the security properties of protocols. However, several instances of undetected flaws in the proofs of protocols (resulting in flawed protocols) undermine the credibility of provably-secure protocols. In this work, we examine several protocols with claimed proofs of security by Boyd & Gonzalez Nieto (2003), Jakobsson & Pointcheval (2001), and Wong & Chan (2001), and an authenticator by Bellare, Canetti, & Krawczyk (1998). Using these protocols as case studies, we reveal previously unpublished flaws in these protocols and their proofs. We hope our analysis will enable similar mistakes to be avoided in the future
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract
No full textFormal analysis and verification methods can aid the design and validation of security properties in blockchain based protocols. However, to generate a reasonable and correct verification, a proper model for the blockchain is needed. In this paper, we give a blockchain model in Tamarin. Based on our model we analyze and give a formal verification for the hash time lock contract, an atomic cross chain trading protocol. The result shows that our model is able to identify an underlying assumption for the hash time lock contract and that the model is useful for analyzing blockchain based protocols
North by East. Boyd in the Hood
No full textFourth ranked in the world for freeride snowboarder, athlete Colin Boyd has settled in South Portland. A description of what freeride snowboarding entails and his future plans are included. [image
Protocols for Authentication and Key Establishment
No full textProtocols for authentication and key establishment are the foundation for security of communications. The range and diversity of these protocols is immense, while the properties and vulnerabilities of different protocols can be remarkably subtle.\ud
\ud
\ud
Here is a comprehensive and integrated treatment of protocols for authentication and key establishment. It allows researchers and practitioners to quickly access a protocol for their needs and become aware of existing protocols that have been broken in the literature.\ud
\ud
As well as a clear and uniform presentation of the protocols, this book includes a description of all the main attack types and classifies most protocols in terms of their properties and resource requirements. It also includes tutorial material suitable for graduate students
A survey of trust and reputation systems for online service provision
No full textTrust and reputation systems represent a significant trend in decision support for Internet mediated service provision. The basic idea is to let parties rate each other, for example after the completion of a transaction, and use the aggregated ratings about a given party to derive a trust or reputation score, which can assist other pal ties in deciding whether or not to transact with that party in the future. A natural side effect is that it also provides an incentive for good behaviour, and therefore tends to have a positive effect on market quality. Reputation systems can be called collaborative sanctioning systems to reflect their collaborative nature, and are related to collaborative filtering systems. Reputation systems are already being used in successful commercial online applications. There is also a rapidly growing literature around trust and reputation systems, but unfortunately this activity is not very coherent. The purpose of this article is to give an overview of existing and proposed systems that can be used to derive measures of trust and reputation for Internet transactions, to analyse the current trends and developments in this area, and to propose a research agenda for trust and reputation systems. (c) 2005 Elsevier B.V All rights reserved
- …
