1790 search results - page 224 / 358 » On Privacy Models for RFID |
144
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
116
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
137
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
150
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
123
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—Security management is about calculated risk and requires continuous evaluation to ensure cost, time and resource effectiveness. Parts of which is to make future-oriented, costb...