671 search results - page 43 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ACISP
2009
Springer
15 years 8 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
127
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
101
click to vote
MOBICOM
2000
ACM
15 years 5 months ago
2000
ACM
Compressing protocol headers has traditionally been an attractive way of conserving bandwidth over low-speed links, including those in wireless systems. However, despite the growt...
118
click to vote
ISF
2007
15 years 1 months ago
2007
Abstract This paper addresses the specification of a security policy ontology framework to mediate security policies between virtual organizations (VO) and real organizations (RO)....