1599 search results - page 289 / 320 » Program Analysis for Security and Privacy |
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
103
click to vote
JLP
2007
14 years 11 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
107
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Various attacks (e.g., SQL injections) may corrupt data items in the database systems, which decreases the integrity level of the database. Intrusion detections systems are becomi...