1790 search results - page 123 / 358 » On Privacy Models for RFID |
167
click to vote
ISSE
2010
15 years 11 days ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
150
Voted
OOPSLA
2009
Springer
16 years 3 days ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
170
click to vote
GI
2008
Springer
15 years 6 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
180
click to vote
EUROPKI
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
145
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...