3420 search results - page 247 / 684 » A Language-Based Approach to Security |
152
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
236
click to vote
SOUPS
2009
ACM
15 years 12 months ago
2009
ACM
User-to-tag authentication can prevent a variety of potential attacks on personal RFID tags. In this poster, a new RFID authentication scheme is presented that allows a user to co...
132
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
139
click to vote
EUPROJECTS
2005
Springer
15 years 11 months ago
2005
Springer
This scenario focuses on patients as users of Electronic Health Records (EHR) relevant information. The concrete field of applications is telemonitoring at home, a field where many...
173
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...