2687 search results - page 521 / 538 » Formal Analysis of PKCS |
92
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
103
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
103
Voted
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
132
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
134
click to vote
WSE
2002
IEEE
15 years 5 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...