12637 search results - page 433 / 2528 » Security for Extensible Systems |
174
click to vote
FUIN
2008
15 years 6 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
288
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
184
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Transportation safety, one of the main driving forces of the development of vehicular communication (VC) systems, relies on high-rate safety messaging (beaconing). At the same time...
191
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
175
click to vote
SAINT
2009
IEEE
16 years 1 months ago
2009
IEEE
The Internet routing system plays an essential role of glueing together tens of thousands of individual networks to create a global data delivery substrate. Over the years many ef...