4731 search results - page 237 / 947 » Securing Interactive Programs |
195
click to vote
MICRO
2006
IEEE
16 years 10 days ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
179
Voted
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
413
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
160
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents the Basic Electronic course syllabus needed to obtain the Telecommunications Engineering degree, adapted to the criteria established by the new European Higher ...
160
click to vote
APAL
2006
15 years 6 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...