69 search results - page 4 / 14 » Towards Semantics for Provenance Security |
98
Voted
EUROPKI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
113
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
135
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
111
Voted
PST
2008
15 years 3 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
105
Voted
PATAT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...