1356 search results - page 211 / 272 » The ideal of verified software |
NSPW
2004
ACM
15 years 5 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
FSTTCS
2003
Springer
15 years 5 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...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
PERVASIVE
2010
Springer
15 years 1 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
ECIS
2003
15 years 1 months ago
2003
The web service model provides fundamental advantages compared to the classical software usage model. But transactions in the web service market have by far not reached the expect...