729 search results - page 60 / 146 » Communicating Evolving Algebras |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— A control-plane architecture for supporting advance reservation of dedicated bandwidth channels on a switched network infrastructure is described including the front-end web in...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
We consider coverage problems in sensor networks of stationary nodes with minimal geometric data. In particular, there are no coordinates and no localization of nodes. We introduc...
SP
1996
IEEE
14 years 26 days ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
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...
ACNS
2010
Springer
13 years 9 months ago
2010
Springer
In this work, we design two-party and multiparty protocols for evaluating multivariate polynomials at participants' inputs with security against a malicious adversary who may ...