634 search results - page 82 / 127 » Groundwork for Weak Analysis |
158
click to vote
BIS
2010
15 years 3 months ago
2010
Abstract. Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages us...
110
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
126
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
108
click to vote
SIAMAM
2008
15 years 1 months ago
2008
We consider the inverse problem of electrical impedance tomography in a conducting half space, given electrostatic measurements on its boundary, i.e., a hyperplane. We first provid...
109
click to vote
TCS
2008
15 years 1 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...