2043 search results - page 158 / 409 » Reasoning About Security Models |
98
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
117
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
114
Voted
ICS
2003
Tsinghua U.
15 years 6 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
107
click to vote
ENTCS
2007
15 years 23 days ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
107
Voted
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...