3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code

FMSE 2005

Submission Page

To revise a previous submission, please type in its passcode below, and press the ENTER button.

If you lost the passcode for your submission, please click HERE.

To make a new submission, please fill in the form below, and then press the submit button at the bottom.

Title of Submission:

List of Authors:

Please enter the complete list of authors for your submission, in the order in which they will appear on the abstract. You can add as many author slots as you want, to accommodate the total number of authors for your submission.

First name(s) Last name Email Affiliation

#1
#2
#3
#4
#5
#6
#7
#8
#9
#10
#11
#12
#13
#14
#15
#16
#17
#18
#19
#20

More authors Fewer authors

Contact Informaton:

Title

First name*

Last name*

Affiliation/organization*

Affiliation Dept/Lab

Phone*

Fax

Email*

Country*

Address

Address

Address

City/Town*

State/Province

State/Province

Zip/Postal Code*

Submission Categories:

Please enter the categories under which the submission should be reviewed.

Submission type:
Author is PC member?:

Summary:

Type (or cut-and-paste) a short ASCII summary for your submission. You must enter plain ASCII text only, and you may not exceed 300 words.

Submit Paper:

Your submission must be in Adobe PDF (pdf) format, and the file name should end with the appropriate MIME extent (i.e., "pdf".). For example, your file could have a name such as "mypaper.pdf". If desired, the file may also be compressed in any standard format, with MIME extent corresponding to the compression type (eg., pdf.gz for a gzipped pdf file, etc.).
Find the file containing your submission:

Keywords/Topics:

Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

security specification techniques

formal trust models

combination of formal/semi-formal techniques (e.g., UML)

formal analysis of security properties

composition and refinement of processes

faithful abstractions of cryptographic primitives/protocols

integration of specification, refinement, and validation

(Note: Javascript must be enabled to make a submission.)

START Conference Manager (V2.56.8 - Rev. 739)

	First name(s)	Last name	Email	Affiliation
#1
#2
#3
#4
#5
#6
#7
#8
#9
#10
#11
#12
#13
#14
#15
#16
#17
#18
#19
#20