- Subscribe to this page:
- RSS
- Email Alert
Oxford University Computing Services (OUCS)
(5 results)-
White Papers
Usability and Security of Out-of-Band Channels in Secure Device Pairing Protocols
June 3, 2009, 12:00am PDT
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be over-come if the promise of mobile and pervasive computing is to be fulfilled. For...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
On the Construction of Digest Functions for Manual Authentication Protocols
March 8, 2011, 12:00am PST
A digest function is a sort of universal hash that takes a key and a message as its inputs. This paper will study these functions' properties and design in the context of their application in...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
Rational authentication protocols
February 9, 2011, 12:00am PST
The authors use ideas from game theory to transform two families of authentication protocols so that even an intruder attacks a protocol, its payoff will still be lower than when it does not. This...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
Self-Managed Services Conceptual Model in Trustworthy Clouds' Infrastructure
January 23, 2011, 12:00am PST
Current clouds infrastructure do not provide the full potential of automated self-managed services. Cloud infrastructure management are supported by clouds' internal employees and contractors...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
January 4, 2010, 12:00am PST
Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood by theorem provers. While...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
January 4, 2010, 12:00am PST
Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood by theorem provers. While...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
Self-Managed Services Conceptual Model in Trustworthy Clouds' Infrastructure
January 23, 2011, 12:00am PST
Current clouds infrastructure do not provide the full potential of automated self-managed services. Cloud infrastructure management are supported by clouds' internal employees and contractors...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
Rational authentication protocols
February 9, 2011, 12:00am PST
The authors use ideas from game theory to transform two families of authentication protocols so that even an intruder attacks a protocol, its payoff will still be lower than when it does not. This...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
On the Construction of Digest Functions for Manual Authentication Protocols
March 8, 2011, 12:00am PST
A digest function is a sort of universal hash that takes a key and a message as its inputs. This paper will study these functions' properties and design in the context of their application in...
Provided by Oxford University Computing Services (OUCS)
-
White Papers
Usability and Security of Out-of-Band Channels in Secure Device Pairing Protocols
June 3, 2009, 12:00am PDT
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be over-come if the promise of mobile and pervasive computing is to be fulfilled. For...
Provided by Oxford University Computing Services (OUCS)
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
