2687 search results - page 447 / 538 » Formal Analysis of PKCS |
158
click to vote
GECON
2007
Springer
16 years 6 days ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
194
click to vote
GEOS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
150
click to vote
LPAR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
158
click to vote
MODELS
2007
Springer
16 years 6 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
150
click to vote
TACAS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...