286 search results - page 29 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
103
click to vote
NSDI
2004
15 years 1 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
118
Voted
DSOM
2006
Springer
15 years 3 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
207
click to vote
POPL
2005
ACM
16 years 2 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
IEEEAMS
2003
IEEE
15 years 5 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
106
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...