637 search results - page 85 / 128 » The Case for Abstracting Security Policies |
132
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
112
Voted
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract—In this paper, we describe a receiver based congestion control policy that leverages TCP flow control mechanisms to prioritize mixed traffic loads across access links....
123
click to vote
NIPS
1993
15 years 3 months ago
1993
While exploring to nd better solutions, an agent performing online reinforcement learning (RL) can perform worse than is acceptable. In some cases, exploration might have unsafe, ...
138
click to vote
JSAC
2010
15 years 9 days ago
2010
Abstract— Service placement is a key problem in communication networks as it determines how efficiently the user service demands are supported. This problem has been traditional...
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...