211 search results - page 12 / 43 » Securing UML Information Flow Using FlowUML |
109
Voted
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
102
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
104
Voted
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
187
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
142
Voted
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
JavaScript-based browser extensions (JSEs) enhance the core functionality of web browsers by improving their look and feel, and are widely available for commodity browsers. To ena...