1210 search results - page 134 / 242 » Secure Logic Synthesis |
110
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
132
Voted
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
141
Voted
FC
2006
Springer
15 years 7 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
229
Voted
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
156
Voted
GCA
2009
15 years 1 months ago
2009
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...