2270 search results - page 162 / 454 » Modelling Secure IT Systems - A Survey |
142
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
162
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
130
Voted
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
124
Voted
IJSN
2006
15 years 3 months ago
2006
: We provide a message board model for collaborative systems, and propose an architecture and protocol for securing collaborative applications over message boards. The proposed arc...
144
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...