5615 search results - page 91 / 1123 » On the Computational Capabilities of Several Models |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
ICNS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper presents a new end-to-end available bandwidth measurement tool called IGMPS (Improved Gap Model using Packet Size parameter). IGMPS is a lightweight tool based on a ...
NN
2008
Springer
14 years 10 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
136
click to vote
UMC
2000
15 years 1 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
GCC
2003
Springer
15 years 3 months ago
2003
Springer
This paper analyzes security problems existing in Grid Computing System and describes the security mechanism in Grid Computing System. After briefly introducing the security abstra...