14824 search results - page 410 / 2965 » Security - Introduction |
231
click to vote
ISCIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
162
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
191
click to vote
ESORICS
2004
Springer
16 years 29 days 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 ...
162
click to vote
FC
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
190
click to vote
ICCSA
2004
Springer
16 years 29 days ago
2004
Springer
In the course of making electronic services and facilities more widely accessible and usable, more and more IT systems are incorporating smart cards as a component. We analyzes the...