1302 search results - page 191 / 261 » Soundness in the Public-Key Model |
GECCO
2008
Springer
15 years 29 days ago
2008
Springer
Scenarios are pen-pictures of plausible futures, used for strategic planning. The aim of this investigation is to expand the horizon of scenario-based planning through computation...
100
click to vote
GG
2008
Springer
15 years 29 days ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
100
click to vote
ATVA
2010
Springer
15 years 2 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
FDL
2008
IEEE
15 years 22 hour ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...