3504 search results - page 444 / 701 » Secure protocol composition |
109
click to vote
TSE
2010
15 years 9 days ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
123
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
121
click to vote
AFRICACRYPT
2010
Springer
15 years 8 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
112
click to vote
ADHOCNOW
2005
Springer
15 years 7 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...