179 search results - page 1 / 36 » Security Policy Enforcement Through Refinement Process |
111
Voted
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
98
Voted
ESOP
2010
Springer
15 years 9 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...
201
Voted
SIGMOD
2009
ACM
16 years 14 days ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
88
Voted
ICAS
2008
IEEE
15 years 6 months ago
2008
IEEE