2043 search results - page 156 / 409 » Reasoning About Security Models |
104
Voted
JAPLL
2007
15 years 21 days ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
117
click to vote
MOBIHOC
2005
ACM
16 years 12 days ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...
154
Voted
DEXAW
2007
IEEE
15 years 4 months ago
2007
IEEE
A number of factors, such as the increasing popularity of wireless networks, the opportunities offered by 3G services, and the rapid proliferation of mobile devices, have stimulat...
CHI
2004
ACM
16 years 1 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
99
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...