- 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
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
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!
