598 search results - page 88 / 120 » Aspect-Oriented Development Using Protocol Modeling |
145
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
122
click to vote
JUCS
2007
15 years 1 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
228
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
114
Voted
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
Abstract—In this paper, we consider privacy challenges in eventdriven pervasive spaces where multimedia streams captured by sensors embedded in the infrastructure are used to det...
106
Voted
DRM
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...