14824 search results - page 368 / 2965 » Security - Introduction |
144
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
182
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
174
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
To support secure exchanging and sharing of XML data over the Internet, a myriad of XML access control mechanisms have been proposed. In the setting of node-level fine-grained acc...
160
Voted
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
219
Voted
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
– Key management is critical to meet the security goals [1] to prevent the Sensor Networks being compromised by an adversary. Due to ad-hoc nature and resource limitations of sen...