211 search results - page 8 / 43 » Securing UML Information Flow Using FlowUML |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
103
click to vote
ASIAN
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...