1183 search results - page 20 / 237 » On flow-sensitive security types |
130
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
136
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
173
click to vote
ICSAP
2010
15 years 1 months ago
2010
Security being the major concern during data transfers, we have various challenges to face. The requirements of the security model vary depending on the type of data to be encrypte...
130
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
164
click to vote
TMC
2011
14 years 11 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...