14850 search results - page 325 / 2970 » The Security of |
192
click to vote
ENTCS
2010
15 years 7 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
368
click to vote
IJNSEC
2008
15 years 7 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
248
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
193
click to vote
JTAER
2006
15 years 7 months ago
2006
This paper examines the users' perspective on the security of Internet banking in Australia within the social context. This user-centered design approach supplements the tech...