2209 search results - page 46 / 442 » Language Based Secure Communication |
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
113
click to vote
ITCC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...
111
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
SRDS
2007
IEEE
15 years 8 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
101
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...