495 search results - page 11 / 99 » MASC - Monitoring and Security of Containers |
FUIN
2007
14 years 10 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
IJNSEC
2006
14 years 10 months ago
2006
This paper contains techniques for enhancing the strength of any cryptographic hash function. For an "ideal", traditional hash function with an m-bit result, the complex...
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
104
click to vote
IJNSEC
2011
14 years 5 months ago
2011
Digital signature authentication scheme provides secure communication between two users. Digital signatures guarantee end-to-end message integrity and authentication information a...
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
Our goal is for robots to learn conceptual systems su cient for natural language and planning. The learning should be autonomous, without supervision. The rst steps in building a ...