252 search results - page 6 / 51 » Scalability in a Secure Distributed Proof System |
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Web-based third-party architectures for data publishing are today receiving growing attention, due to their scalability and the ability to efficiently manage large numbers of use...
ADHOCNOW
2007
Springer
14 years 1 months ago
2007
Springer
The increased use of ubiquitous computing devices is resulting in networks that are highly mobile, well connected and growing in processing and storage capabilities. The nature of ...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
An RFID tag is a small and cheap device which is combined in IC chip and an antenna for radio communications. The tag is used for management of goods and its distribution. Moreove...