110 search results - page 10 / 22 » A Process Algebra for Reasoning About Quantum Security |
141
click to vote
CSFW
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
JSW
2008
14 years 11 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
114
click to vote
RE
2010
Springer
14 years 6 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...