64 search results - page 13 / 13 » Specifying and analyzing security automata using CSP-OZ |
85
Voted
MAGS
2008
14 years 9 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
104
click to vote
SEKE
2010
Springer
14 years 7 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
78
Voted
SACMAT
2003
ACM
15 years 2 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
122
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...