5488 search results - page 145 / 1098 » On the Secure Implementation of Security Protocols |
148
Voted
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
140
click to vote
JUCS
2008
15 years 4 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
144
click to vote
IJSN
2006
15 years 4 months ago
2006
: The pervasive availability and wide usage of wireless networks with different kinds of topologies, techniques and protocol suites have brought with them a need to improve securit...
147
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
158
click to vote
ICCSA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Recently, Wireless Local Area Network (WLAN) is used by enterprises, government, and the military, as well as small office and home offices. Although it is convenient, it...