407 search results - page 74 / 82 » An Ontology-based Approach to the Formalization of Informati... |
SECON
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—While mechanisms exist to instantiate common security functionality such as confidentiality and integrity, little has been done to define a mechanism for identificati...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ICECCS
2005
IEEE
14 years 29 days ago
2005
IEEE
The JavaScript language is used to enhance the clientside display of web pages. JavaScript code is downloaded into browsers and executed on-the-fly by an embedded interpreter. Br...
SIGCOMM
2003
ACM
14 years 18 days ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...