211 search results - page 7 / 43 » Securing UML Information Flow Using FlowUML |
125
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
159
click to vote
SPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
115
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
153
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
195
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...