2209 search results - page 137 / 442 » Language Based Secure Communication |
143
click to vote
JLP
2007
15 years 4 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
170
click to vote
SASN
2003
ACM
15 years 10 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
111
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
126
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
126
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...