4111 search results - page 217 / 823 » Security, Protocols, and Trust |
INFORMATICALT
2010
13 years 9 months ago
2010
The asymmetric cipher protocol, based on decomposition problem in matrix semiring M over semiring of natural numbers N is presented. The security of presented cipher protocol is ba...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
ESWS
2009
Springer
14 years 5 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
ICN
2005
Springer
14 years 4 months ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
LOPSTR
2001
Springer
14 years 3 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...