2687 search results - page 334 / 538 » Formal Analysis of PKCS |
162
click to vote
SP
2007
IEEE
16 years 26 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
186
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
152
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
210
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
165
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...