329 search results - page 6 / 66 » A Theory of Secure Control Flow |
ATVA
2010
Springer
14 years 9 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
DEBS
2009
ACM
15 years 4 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
SP
1998
IEEE
15 years 1 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
CJ
2004
14 years 9 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
ENTCS
2008
14 years 9 months ago
2008
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...