3638 search results - page 683 / 728 » Distribution chain security |
124
Voted
FAC
2010
15 years 1 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
140
Voted
JFP
2010
15 years 29 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
106
click to vote
PVLDB
2010
15 years 28 days ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
113
Voted
WIOPT
2010
IEEE
15 years 26 days ago
2010
IEEE
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
144
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Traditional key management techniques, such as public key cryptography or key distribution center (e.g., Kerberos), are often not effective for wireless sensor networks for the se...