Sciweavers

2231 search results - page 254 / 447
» Alternation as a programming paradigm
Sort
View
165
Voted
SP
2005
IEEE
183views Security Privacy» more  SP 2005»
16 years 8 days ago
A Generic Attack on Checksumming-Based Software Tamper Resistance
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
Glenn Wurster, Paul C. van Oorschot, Anil Somayaji
CD
2004
Springer
16 years 3 days ago
Keeping Control of Reusable Components
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
Susan Eisenbach, Dilek Kayhan, Chris Sadler
IFIP
2009
Springer
15 years 11 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
POS
1998
Springer
15 years 11 months ago
Lumberjack: A Log-Structured Persistent Object Store
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
David Hulse, Alan Dearle
POS
1998
Springer
15 years 11 months ago
Persistent Operating System Support for Persistent CORBA Objects
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
Adrian O'Lenskie, Alan Dearle, David Hulse