5475 search results - page 886 / 1095 » Model Driven Security |
276
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
208
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
174
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Detecting malicious packet dropping is important in ad hoc networks to combat a variety of security attacks such as blackhole, greyhole, and wormhole attacks. We consider the de...
163
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— Recent outbreaks of virus and worm attacks targeted at cell phones have bought to the forefront the seriousness of the security threat to this increasingly popular mean...
170
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...