2687 search results - page 304 / 538 » Formal Analysis of PKCS |
156
click to vote
IFIP
2005
Springer
16 years 4 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...
179
click to vote
MLCW
2005
Springer
16 years 3 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...
146
click to vote
OTM
2005
Springer
16 years 3 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...
152
click to vote
ATAL
2004
Springer
16 years 1 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 ...
176
click to vote
ICDCIT
2004
Springer
16 years 6 hour 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...