1790 search results - page 128 / 358 » On Privacy Models for RFID |
161
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
149
Voted
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
155
click to vote
ESORICS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
155
click to vote
CSFW
2009
IEEE
16 years 10 days ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
117
Voted
OOPSLA
2009
Springer
16 years 3 days ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...