3115 search results - page 339 / 623 » Synthesizing Secure Protocols |
177
click to vote
IJISEC
2007
15 years 6 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
196
click to vote
TIT
2010
15 years 1 months ago
2010
A multiple-antenna Gaussian wiretap channel in which the number of antennas at the source is not greater than that at the eavesdropper is considered. Without feedback, the secrecy...
164
click to vote
HOST
2009
IEEE
16 years 1 months ago
2009
IEEE
—EDA vendors have proposed a standard for the sharing of IP among vendors to be used in the design and development of IP for FPGAs. Although, we do not propose any attacks, we sh...
150
click to vote
MDAI
2009
Springer
16 years 1 months ago
2009
Springer
Privacy preservation in the information society is in many respects parallel to environment preservation in the physical world. In this way, “green ICT services” are those achi...
150
click to vote
RECONFIG
2008
IEEE
16 years 1 months ago
2008
IEEE
Confidentiality and integrity of bitstreams and authenticated update of FPGA configurations are fundamental to trusted computing on reconfigurable technology. In this paper, we pr...