Sciweavers

1281 search results - page 94 / 257
» BASIS: A Biological Approach to System Information Security
Sort
View
NAR
2011
233views Computer Vision» more  NAR 2011»
14 years 9 months ago
ArachnoServer 2.0, an updated online resource for spider toxin sequences and structures
ArachnoServer (www.arachnoserver.org) is a manually curated database providing information on the sequence, structure and biological activity of protein toxins from spider venoms....
Volker Herzig, David L. A. Wood, Felicity Newell, ...
SACMAT
2009
ACM
16 years 26 days ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
POPL
2006
ACM
16 years 6 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands
CAISE
2006
Springer
15 years 10 months ago
Workflow Exception Patterns
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...
DRM
2003
Springer
15 years 11 months ago
Digital rights management in a 3G mobile phone and beyond
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...
Thomas S. Messerges, Ezzat A. Dabbish