252 search results - page 30 / 51 » Information-Flow Security for Interactive Programs |
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
IWAN
2004
Springer
15 years 5 months ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
90
Voted
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
– With software-as-a-service becoming mainstream, more and more applications are delivered to the client through the Web. Unlike a desktop application, a web application is split...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...