211 search results - page 19 / 43 » Securing UML Information Flow Using FlowUML |
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information c...
CSFW
2007
IEEE
15 years 1 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
SOSP
1997
ACM
14 years 11 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...