3544 search results - page 376 / 709 » Information Security in Open Systems |
221
click to vote
PET
2004
Springer
16 years 29 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...
187
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
200
click to vote
PDPTA
2004
15 years 9 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
252
click to vote
CIA
1998
Springer
15 years 12 months ago
1998
Springer
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
203
click to vote
CARDIS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a protocol that can be used between an RFID tag and a reader to exchange a secret without performing any expensive computation. Similarly to the famous blocker tag sugge...