3504 search results - page 527 / 701 » Secure protocol composition |
104
click to vote
ITIIS
2010
15 years 3 days ago
2010
Data sharing is an essential process for collaborative works particularly in the banking, finance and healthcare industries. These industries require many collaborative works with...
131
click to vote
SACMAT
2010
ACM
15 years 1 days ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
128
click to vote
PAIRING
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We discuss the relationship between ID-based key agreement protocols, certificateless encryption and ID-based key encapsulation mechanisms. In particular we show how in s...
121
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
148
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...