239 search results - page 22 / 48 » Accountable Privacy |
109
click to vote
IEEEARES
2010
IEEE
15 years 7 months ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
123
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
132
Voted
ACSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
CSFW
1992
IEEE
15 years 6 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...
136
Voted
OOPSLA
1990
Springer
15 years 6 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...