5255 search results - page 326 / 1051 » Formal Methods for Privacy |
147
click to vote
OOPSLA
1995
Springer
15 years 8 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
154
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
The goal of the speech segments extraction process is to separate acoustic events of interest (the speech segment to be recognised) in a continuously recorded signal from other par...
167
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
266
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract-- Privacy protection is a major concern when microdata needs to be released for ad hoc analyses. This has led to a lot of recent research in privacy goals and table anonym...
127
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Despite recent advances in trust relationship control mechanisms, issues remain that impede the development of effective trust models. One of these is the lack of dynamic mechanis...