576 search results - page 56 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
AICT
2007
IEEE
2007
IEEE
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
13 years 10 months ago
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
TCOM
2010
13 years 3 months ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
ICICS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
FC
2005
Springer
14 years 2 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...