1210 search results - page 202 / 242 » Secure Logic Synthesis |
148
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
132
Voted
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
136
Voted
SACMAT
2003
ACM
15 years 7 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...
118
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
120
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...