2043 search results - page 133 / 409 » Reasoning About Security Models |
IACR
2011
14 years 12 days ago
2011
KISS (‘Keep it Simple Stupid’) is an efficient pseudo-random number generator originally specified by G. Marsaglia and A. Zaman in 1993. G. Marsaglia in 1998 posted a C versio...
134
click to vote
FMOODS
2008
15 years 2 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
102
Voted
IWSEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
109
Voted
ENC
2003
IEEE
15 years 6 months ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
123
Voted
SIGMOD
2008
ACM
15 years 6 days ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...