1853 search results - page 35 / 371 » Cryptographic Protocols and Network Security |
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
106
click to vote
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...
IWFM
2003
15 years 1 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...