CCS 2006 - PDF Preprint Papers

CCS 2006 Conference on Computer and Communications Security

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CCS-2006 Paper

click to vote

CCS
2006
ACM

480views Security Privacy» more CCS 2006»

Using model-based security analysis in component-oriented system development

14 years 3 months ago

Download folk.uio.no

We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...

Gyrd Brændeland, Ketil Stølen

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	480	Using model-based security analysis in component-oriented system development	claim
2	233	Inferring the source of encrypted HTTP connections	claim
3	213	TinySeRSync: secure and resilient time synchronization in wireless sensor networks	claim
4	210	EXE: automatically generating inputs of death	claim
5	191	Hot or not: revealing hidden services by their clock skew	claim
6	189	Cryptanalysis of the "Grain" family of stream ciphers	claim
7	182	Attribute-based encryption for fine-grained access control of encrypted data	claim
8	182	Fourth-factor authentication: somebody you know	claim
9	172	Dynamic rule-ordering optimization for high-speed firewall filtering	claim
10	171	Searchable symmetric encryption: improved definitions and efficient constructions	claim
11	169	Secure function evaluation with ordered binary decision diagrams	claim
12	166	Can machine learning be secure?	claim
13	164	Packet vaccine: black-box exploit detection and signature generation	claim
14	161	Optimizing BGP security by exploiting path stability	claim
15	159	A scalable approach to attack graph generation	claim
16	158	Evading network anomaly detection systems: formal reasoning and practical techniques	claim
17	155	An efficient broadcast authentication scheme in wireless sensor networks	claim
18	154	An efficient key establishment scheme for secure aggregating sensor networks	claim
19	154	Bridging the gap between web application firewalls and web applications	claim
20	149	A fully collusion resistant broadcast, trace, and revoke system	claim
21	149	Dictionary attacks using keyboard acoustic emanations	claim
22	147	Attack graph generation and analysis	claim
23	146	Defeasible security policy composition for web services	claim
24	134	Secure hierarchical in-network aggregation in sensor networks	claim
25	133	RoleMiner: mining roles using subset enumeration	claim
26	133	Puppetnets: misusing web browsers as a distributed attack infrastructure	claim
27	132	Data collection with self-enforcing privacy	claim
28	132	Daonity: grid security with behaviour conformity from trusted computing	claim
29	128	Finding the original point set hidden among chaff	claim
30	128	Replayer: automatic protocol replay by binary analysis	claim
31	126	Deniable authentication and key exchange	claim
32	125	Beyond separation of duty: an algebra for specifying high-level security policies	claim
33	124	P-congruences as non-interference for the pi-calculus	claim
34	123	Multi-signatures in the plain public-Key model and a general forking lemma	claim
35	122	TCG inside?: a note on TPM specification compliance	claim
36	120	Resiliency policies in access control	claim
37	118	Vulnerability analysis For evaluating quality of protection of security policies	claim
38	117	Application security support in the operating system kernel	claim
39	117	Doppelganger: Better browser privacy without the bother	claim
40	117	Modelling the relative strength of security protocols	claim
41	116	Supporting location-based conditions in access control policies	claim
42	116	Lightweight, pollution-attack resistant multicast authentication scheme	claim
43	116	Safety analysis of usage control authorization models	claim
44	116	A natural language approach to automated cryptanalysis of two-time pads	claim
45	116	Is risk a good security metric?	claim
46	115	Time series modeling for IDS alert management	claim
47	115	Secure attribute-based systems	claim
48	114	Secure information sharing enabled by Trusted Computing and PEI models	claim
49	114	Provably-secure time-bound hierarchical key assignment schemes	claim
50	113	Design space and analysis of worm defense strategies	claim
51	112	Fortifying password authentication in integrated healthcare delivery systems	claim
52	112	Computationally sound secrecy proofs by mechanized flow analysis	claim
53	111	Privacy-preserving semantic interoperation and access control of heterogeneous databases	claim
54	110	Ring signatures without random oracles	claim
55	109	Scalable group communication system for scalable trust	claim
56	108	Framework for malware resistance metrics	claim
57	108	Virtual monotonic counters and count-limited objects using a TPM without a trusted OS	claim
58	107	Safety and consistency in policy-based authorization systems	claim
59	106	Salsa: a structured approach to large-scale anonymity	claim
60	105	Measuring intrusion detection capability: an information-theoretic approach	claim
61	105	Certified mailing lists	claim
62	105	Providing witness anonymity in peer-to-peer systems	claim
63	105	On the modeling and analysis of obligations	claim
64	104	Measuring denial Of service	claim
65	103	Secure information flow with random assignment and encryption	claim
66	103	Forward-secure signatures with untrusted update	claim
67	103	A protocol for property-based attestation	claim
68	102	Addressing the shortcomings of one-way chains	claim
69	101	An intruder model for verifying liveness in security protocols	claim
70	101	Securing the drop-box architecture for assisted living	claim
71	99	Improving secure server performance by re-balancing SSL/TLS handshakes	claim
72	99	Identity-based registry for secure interdomain routing	claim
73	99	An effective defense against email spam laundering	claim
74	97	Provably secure password-based authentication in TLS	claim
75	93	NETRA: : seeing through access control	claim
76	91	Stateful public-key cryptosystems: how to encrypt with one 160-bit exponentiation	claim
77	90	Measuring the attack surfaces of two FTP daemons	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers