524 search results - page 5 / 105 » Enforcing Messaging Security Policies |
132
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
147
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
126
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
In a policy-based system, policy goals are described with respect to network entities (e.g., networks and users) instead of enforcement points (e.g., firewalls and routers). This ...
105
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
121
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...