1373 search results - page 228 / 275 » Secure multi-mode systems and their applications for pervasi... |
IEEEARES
2009
IEEE
14 years 5 months ago
2009
IEEE
— Researchers and practitioners in computer forensics currently must base their analysis on information that is either incomplete or produced by tools that may themselves be comp...
PLDI
2006
ACM
14 years 5 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
ACSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
WORDS
2005
IEEE
14 years 4 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
ICPP
2008
IEEE
14 years 5 months ago
2008
IEEE
: Many tools that target parallel and distributed environments must co-locate a set of daemons with the distributed processes of the target application. However, efficient and por...