1210 search results - page 41 / 242 » Formal Techniques for Java Programs |
207
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
121
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
117
click to vote
ICST
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
102
click to vote
CONCURRENCY
2004
15 years 1 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
114
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...