5488 search results - page 427 / 1098 » On the Secure Implementation of Security Protocols |
178
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper we propose an authenticated key agreement, which works in a braid group. We prove that our protocol meet the security attributes under the assumption that the Conjug...
191
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
192
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
216
click to vote
TITB
2010
15 years 1 months ago
2010
Abstract--Modern e-Health systems require advanced computing and storage capabilities, leading to the adoption of technologies like the grid and giving birth to novel health grid s...
161
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The use of covert application-layer tunnels to bypass security gateways has become quite popular in recent years. By encapsulating blocked or controlled protocols such as peert...