2687 search results - page 304 / 538 » Formal Analysis of PKCS |
171
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
196
click to vote
MLCW
2005
Springer
16 years 21 days ago
2005
Springer
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
161
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
168
Voted
ATAL
2004
Springer
16 years 18 days ago
2004
Springer
This paper discusses the strengths and weaknesses of non-monotonic-offers in alternating-offer bargaining protocol. It is commonly assumed that bargainers submit monotonic offers ...
194
click to vote
ICDCIT
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...