1843 search results - page 33 / 369 » Securing Class Initialization |
111
click to vote
DBPL
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
109
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...
111
click to vote
FTDCS
1999
IEEE
15 years 6 months ago
1999
IEEE
The Java Security Model has undergone considerable evolution since its initial implementation. However, due to its historical focus on securing machines against attack from hostil...
111
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...