2687 search results - page 59 / 538 » Formal Analysis of PKCS |
104
Voted
JAPLL
2011
14 years 7 months ago
2011
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
118
Voted
ISSAC
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
FM
1999
Springer
15 years 4 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
133
Voted
DIM
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
103
Voted
SIGDOC
2009
ACM
15 years 7 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...