1116 search results - page 78 / 224 » Key Agreement Using Statically Keyed Authenticators |
115
click to vote
DIM
2007
ACM
15 years 4 months ago
2007
ACM
We have implemented an identity provider (IdP), which is defined by the Liberty Alliance on a mobile phone. We propose an authentication method, which uses this personal IdP as a ...
96
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
92
Voted
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
106
Voted
ISCC
2008
IEEE
15 years 7 months ago
2008
IEEE
The GSM network with the greatest worldwide number of users, succumbs to several security vulnerabilities. The Short Message Service (SMS) is one of its superior and well-tried se...
128
click to vote
JUCS
2010
14 years 7 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...