1286 search results - page 61 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
142
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
103
click to vote
LION
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The practical utility of optimization technologies is often impacted by factors that reflect how these tools are used in practice, including whether various real-world c...
178
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
116
click to vote
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
Despite recent widespread interest in the secure authentication of principals across computer networks there has been considerably less discussion of distributed mechanisms to sup...
143
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...