3420 search results - page 342 / 684 » A Language-Based Approach to Security |
195
click to vote
ISSA
2008
15 years 8 months ago
2008
Many people who have tried to configure their IEEE 802.11 enabled mobile phones to connect to a public wireless hotspot know one of the major differences between IEEE 802.11 netwo...
158
click to vote
LISA
2003
15 years 8 months ago
2003
Telecommuting and access over a Wireless LAN require strong security at the network level. Although IPsec is well-suited for this task, it is difficult to configure and operate ...
168
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
193
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We consider the problem of securing a multicast network against a wiretapper that can intercept the packets on a limited number of arbitrary network links of his choice. We assume ...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...