2846 search results - page 76 / 570 » Not one click for security |
105
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
128
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
114
click to vote
CSFW
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
159
click to vote
DBSEC
2006
15 years 5 months ago
2006
Most state-of-the-art approaches of securing XML documents are based on a partial annotation of an XML tree with security labels which are later propagated to unlabeled nodes of th...
156
click to vote
BNCOD
2003
15 years 5 months ago
2003
The event-condition-action paradigm (also known as triggers or rules) gives a database “active” capabilities – the ability to react automatically to changes in the database o...