1484 search results - page 157 / 297 » Security policies for downgrading |
162
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
204
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
205
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
192
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
159
click to vote
SP
2008
IEEE
16 years 27 days ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...