253 search results - page 19 / 51 » Security Analysis using Flow Logics |
121
click to vote
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
118
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
100
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
ICCAD
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
135
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
Pervasive computing applications involve information flow across multiple organizations. Thus, any security breach in an application can have far-reaching consequences. However, ef...