5475 search results - page 677 / 1095 » Model Driven Security |
196
click to vote
PET
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
173
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper shows how role-based access control (RBAC) models can be implemented in distributed object-based systems that follow OMG/CORBA standards. We introduce a novel approach ...
134
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
172
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies a new problem called fair identification: given two parties, how should they identify each other in a fair manner. More precisely, if both parties are honest the...
190
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Evolutionary game-theory is a powerful tool to investigate the development of complex relations between individuals such as the emergence of cooperation and trust. But th...