79 search results - page 11 / 16 » Analysis of the Security of BB84 by Model Checking |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
SAJ
2000
14 years 9 months ago
2000
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
109
Voted
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...