Canlyniadau Chwilio - ((interface proton) OR (interface protocols)) processing program security https

1

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Performance and Inexpensive Reliable Strict QoS -- A User Interface for Resource Management in a Mobile...”
Cael y testun llawn

Electronig eLyfr

2

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... with WS-Security Requirements -- Protocols -- Efficient Secure Auction Protocols Based on the Boneh-Goh...”
Cael y testun llawn

Electronig eLyfr

3

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Talk -- Trust Without Identification -- Protocols -- Constant-Round Password-Based Group...”
Cael y testun llawn

Electronig eLyfr

4

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Desynchronization for Secure Collusion-Resilient Fingerprint in Compression Domain -- A Format-Compliant Encryption...”
Cael y testun llawn

Electronig eLyfr

5

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Communications -- A Protocol Compiler for Secure Sessions in ML -- Application of Dependency Graphs to Security...”
Cael y testun llawn

Electronig eLyfr

6

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”
Cael y testun llawn

Electronig eLyfr

7

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Cael y testun llawn

Electronig eLyfr

8

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
Cael y testun llawn

Electronig eLyfr

9

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proce...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... to Support Multi-Party Communications in Multi-Agent Systems -- An Interaction Protocol for Agent...”
Cael y testun llawn

Electronig eLyfr

10

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Cael y testun llawn

Electronig eLyfr

11

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...”
Cael y testun llawn

Electronig eLyfr

12

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “...Secure Text Steganography -- Policy Based Energy Management in Smart Homes -- Saturation Throughput...”
Cael y testun llawn

Electronig eLyfr

13

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Managing LTL Properties in Event-B Refinement -- Formal Security Analysis of the MaCAN Protocol -- A...”
Cael y testun llawn

Electronig eLyfr

14

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Based Framework for Security Protocol Verification -- Applying Cost Sensitive Feature Selection...”
Cael y testun llawn

Electronig eLyfr

15

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System -- Novel Process...”
Cael y testun llawn

Electronig eLyfr

16

Ubiquitous Computing Systems Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... a Secure Federation of Multi-institutional Service Systems -- Middleware Supporting Various Input...”
Cael y testun llawn

Electronig eLyfr

17

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Distributed Fuzzy Logic Engine for Rule-Based Wireless Sensor Networks -- Secure and Reliable Data Aggregation...”
Cael y testun llawn

Electronig eLyfr

18

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010, Revised Selected Papers /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Session 1: Novel Applications and Communication Protocols for Wireless Networks (Chair: Paolo...”
Cael y testun llawn

Electronig eLyfr

19

Social Informatics 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- CrowdLang: A Programming Language for the Systematic Exploration of Human Computation Systems -- Experiments...”
Cael y testun llawn

Electronig eLyfr

20

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad