Pages that link to "Item:Q5465849"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465849):
Displaying 5 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- A complete fuzzy logical system to deal with trust management systems (Q835123) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
