300 search results - page 45 / 60 » Formal Methods for Smartcard Security |
135
Voted
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
145
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
Multiagent learning di ers from standard machine learning in that most existing learning methods assume that all knowledge is available locally in a single agent. In multiagent sy...
116
click to vote
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
113
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
126
click to vote
FAC
2007
15 years 2 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...