624 search results - page 57 / 125 » Application of Lightweight Formal Methods to Software Securi... |
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
111
click to vote
KSEM
2010
Springer
14 years 9 months ago
2010
Springer
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...
100
click to vote
ESORICS
2010
Springer
15 years 29 days ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
92
Voted
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...