554 search results - page 64 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
ENTCS
2006
13 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Sensor networks are deployed to monitor the physical environment in public and vulnerable locations. It is not economically viable to house sensors in tamper-resilient enclosures ...
HOLOMAS
2009
Springer
14 years 11 days ago
2009
Springer
In this paper a synthetic mobility model which represents behavior and movement pattern of heterogeneous units in disaster relief and battlefield scenarios is proposed. These oper...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
DRM
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...