3821 search results - page 143 / 765 » A Security Model for Aglets |
103
Voted
WSC
2008
15 years 5 months ago
2008
Mental simulation is proposed by cognitive psychologists as a candidate to model the human reasoning process. In this paper, we propose a methodology that models mental simulation...
125
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
132
click to vote
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
116
click to vote
FUIN
2010
15 years 2 months ago
2010
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
122
Voted
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
This work deals with the security challenges in authentication protocols employing volatile biometric features, where the authentication is indeed a comparison between a fresh biom...