187 search results - page 36 / 38 » A Semantic Approach to Secure Information Flow |
FOSSACS
2005
Springer
14 years 12 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
COLCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
JODS
2007
13 years 6 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
PASTE
2005
ACM
14 years 13 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...