3811 search results - page 231 / 763 » The Safe-Tcl Security Model |
180
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
222
click to vote
SAM
2004
15 years 8 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
178
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The central goal of secure information sharing is to "share but protect" where the motivation to "protect" is to safeguard the sensitive content from unauthori...
171
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
We propose two constructions of chosen-ciphertext secure identity-based encryption (IBE) schemes. Our schemes have a security proof in the standard model, yet they offer performan...
186
click to vote
JOC
2007
15 years 6 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...