211 search results - page 1 / 43 » Securing UML Information Flow Using FlowUML |
ACJ
2006
13 years 5 months ago
2006
SACMAT
2006
ACM
13 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
ICEIS
2005
IEEE
13 years 10 months ago
2005
IEEE
ASIASIM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
ESORICS
2012
Springer
11 years 7 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...