1690 search results - page 124 / 338 » A Security Framework for JXTA-Overlay |
152
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
149
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
160
click to vote
TCC
2005
Springer
15 years 12 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
184
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad hoc Networking (MANET) paradigm. Nevertheless, securit...
177
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Today’s distributed e-commerce applications typically rely upon various technologies in their realization, including the web, scripting languages, server-side processing and an ...