1779 search results - page 98 / 356 » A Formal Model of Data Privacy |
134
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
164
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
120
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
155
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
131
Voted
DLOG
2003
15 years 5 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...