2422 search results - page 32 / 485 » Security Policy Consistency |
COMPSAC
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...
ESORICS
2008
Springer
14 years 15 days ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
ESOP
2010
Springer
14 years 8 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...
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
—Web browsers’ access control policies have evolved
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...