1679 search results - page 270 / 336 » Security Properties and CSP |
175
click to vote
CTRSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Known compact e-cash schemes are constructed from signature schemes with efficient protocols and verifiable random functions. In this paper, we introduce a different ap...
136
click to vote
PDPTA
2000
15 years 7 months ago
2000
The primary purpose of parallel computation is the fast execution of computational tasks that are too slow to perform sequentially. However, it was shown recently that a second eq...
171
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
179
click to vote
ICC
2009
IEEE
15 years 3 months ago
2009
IEEE
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
172
click to vote
CJ
2010
15 years 3 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...